aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression/Results/telescopes
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@college-de-france.fr>2022-09-30 17:14:00 +0200
committerXavier Leroy <xavier.leroy@college-de-france.fr>2022-10-01 11:16:39 +0200
commit995f654c43092ceb258f7c0799a4101ed6e570af (patch)
tree15439bf51a2a3481181113d7f325b461b62c2f79 /test/regression/Results/telescopes
parent634b136e5af1adafd8af7e5390aacdac2eb25be3 (diff)
downloadcompcert-995f654c43092ceb258f7c0799a4101ed6e570af.tar.gz
compcert-995f654c43092ceb258f7c0799a4101ed6e570af.zip
Add test for nested conditional, &&, || expressions
Diffstat (limited to 'test/regression/Results/telescopes')
-rw-r--r--test/regression/Results/telescopes7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/regression/Results/telescopes b/test/regression/Results/telescopes
new file mode 100644
index 00000000..042e45bd
--- /dev/null
+++ b/test/regression/Results/telescopes
@@ -0,0 +1,7 @@
+orand: 1 0 0 1
+andor: 0 1 1 0
+choose: 23 45
+choose2: 23 45 89 67
+choosed: 23.32 45.54
+choose2d: 23 45 89 67.76
+chooseandl: 23 0 0 1