diff options
Diffstat (limited to 'test/regress/regress0/bug310.cvc')
-rw-r--r-- | test/regress/regress0/bug310.cvc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/regress/regress0/bug310.cvc b/test/regress/regress0/bug310.cvc new file mode 100644 index 000000000..66e2369ae --- /dev/null +++ b/test/regress/regress0/bug310.cvc @@ -0,0 +1,5 @@ +% EXPECT: valid +% EXIT: 20 +b : BOOLEAN; +DATATYPE D = c(s:INT) END; +QUERY c(IF b THEN 1 ELSE 0 ENDIF) = IF b THEN c(1) ELSE c(0) ENDIF; |