aboutsummaryrefslogtreecommitdiffstats
path: root/progs/tests/expression/boolean_ops_count.sy
diff options
context:
space:
mode:
authorGustav Sörnäs <gustav@sornas.net>2021-03-10 17:22:18 +0100
committerGitHub <noreply@github.com>2021-03-10 17:22:18 +0100
commite930f7b71ba526f40210f3e89afc79b2288e2e91 (patch)
treed494b8771dc71b52aa56fe948e7e6eab260d216a /progs/tests/expression/boolean_ops_count.sy
parent345cb8efef31af3e6fda65357fbab25664d385a2 (diff)
parente61e0a3d3bc015854c91761a70544e74b0478b94 (diff)
downloadsylt-e930f7b71ba526f40210f3e89afc79b2288e2e91.tar.gz
Merge pull request #106 from FredTheDino/move-tests
Diffstat (limited to 'progs/tests/expression/boolean_ops_count.sy')
-rw-r--r--progs/tests/expression/boolean_ops_count.sy41
1 files changed, 41 insertions, 0 deletions
diff --git a/progs/tests/expression/boolean_ops_count.sy b/progs/tests/expression/boolean_ops_count.sy
new file mode 100644
index 0000000..b4a43e9
--- /dev/null
+++ b/progs/tests/expression/boolean_ops_count.sy
@@ -0,0 +1,41 @@
+start :: fn {
+ ts := 0
+ t :: fn -> bool {
+ ts += 1
+ ret true
+ }
+
+ fs := 0
+ f :: fn -> bool {
+ fs += 1
+ ret false
+ }
+
+ i :: fn -> bool {
+ <!>
+ ret false
+ }
+
+ if f() && i() {
+ <!>
+ }
+
+ if t() || i() {
+ // This block is intentionally left blank
+ } else {
+ <!>
+ }
+
+ if f() && i() && i() {
+ <!>
+ }
+
+ if t() || i() || i() {
+ // This block is intentionally left blank
+ } else {
+ <!>
+ }
+
+ fs <=> 2
+ ts <=> 2
+}