summaryrefslogtreecommitdiff
path: root/omega/examples/old_test/dagstuhl1
diff options
context:
space:
mode:
Diffstat (limited to 'omega/examples/old_test/dagstuhl1')
-rw-r--r--omega/examples/old_test/dagstuhl17
1 files changed, 7 insertions, 0 deletions
diff --git a/omega/examples/old_test/dagstuhl1 b/omega/examples/old_test/dagstuhl1
new file mode 100644
index 0000000..56f1a4e
--- /dev/null
+++ b/omega/examples/old_test/dagstuhl1
@@ -0,0 +1,7 @@
+T := {[i,j] -> [i+10j]};
+I := {[0:9,0:9]};
+# Version 1.0.0 incorrectly generates references to i and j
+codegen T:I;
+
+# Version 1.0.0 doesn't generate an assignment for t2
+codegen {[p,i,j] : 0 <= i,j <= 9 && p = i+10j};