diff options
Diffstat (limited to 'omega/examples/old_test/iter6')
| -rw-r--r-- | omega/examples/old_test/iter6 | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/omega/examples/old_test/iter6 b/omega/examples/old_test/iter6 new file mode 100644 index 0000000..b093c0b --- /dev/null +++ b/omega/examples/old_test/iter6 @@ -0,0 +1,6 @@ +Y := { [i,j] : 1 <= i <= 5 and 12 <= j <= 17}; +codegen Y; + +X := { [i,j] : 17i-153 = 12j+17 and 1 <= i <= 100 and 1 <= j <= 100 and i < j}; +codegen X; + |