diff options
Diffstat (limited to 'test/regress/regress0/bug322b.cvc')
-rw-r--r-- | test/regress/regress0/bug322b.cvc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/regress/regress0/bug322b.cvc b/test/regress/regress0/bug322b.cvc new file mode 100644 index 000000000..d10292dd5 --- /dev/null +++ b/test/regress/regress0/bug322b.cvc @@ -0,0 +1,12 @@ +% COMMAND-LINE: --incremental +% EXPECT: valid +% EXPECT: valid +% EXPECT: valid +% EXIT: 20 +x : INT; +y : INT = x + 1; +z : INT = -10; +identity : INT -> INT = LAMBDA(x:INT) : x; +QUERY identity(x) = x; +QUERY identity(y) > x; +QUERY identity(z) = -10; |