diff options
Diffstat (limited to 'test/regress/regress0/preprocess/preprocess_07.cvc')
| -rw-r--r-- | test/regress/regress0/preprocess/preprocess_07.cvc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/regress/regress0/preprocess/preprocess_07.cvc b/test/regress/regress0/preprocess/preprocess_07.cvc new file mode 100644 index 000000000..57ccc6ef8 --- /dev/null +++ b/test/regress/regress0/preprocess/preprocess_07.cvc @@ -0,0 +1,11 @@ +% EXPECT: sat + +a0, a1, a2, a3, a4, a5: BOOLEAN; + +ASSERT ((a0 AND a1 AND a2) <=> (a3 OR a4 OR a5)); +ASSERT (a4); + +CHECKSAT; + +% EXIT: 10 + |