diff options
Diffstat (limited to 'test/regress/regress0/logops.cvc')
| -rw-r--r-- | test/regress/regress0/logops.cvc | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/test/regress/regress0/logops.cvc b/test/regress/regress0/logops.cvc index 0cb00599d..7bd2a356d 100644 --- a/test/regress/regress0/logops.cvc +++ b/test/regress/regress0/logops.cvc @@ -1,14 +1,17 @@ - - a, b, c: BOOLEAN; +% EXPECT: VALID QUERY (a XOR b) <=> (NOT a AND b) OR (NOT b AND a); +% EXPECT: INVALID QUERY NOT c AND b; +% EXPECT: VALID QUERY (IF c THEN a ELSE b ENDIF) <=> ((c AND a) OR (NOT c AND b)); +% EXPECT: VALID QUERY (a => b) <=> (NOT a OR b); +% EXPECT: VALID QUERY TRUE XOR FALSE; |