diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-12-07 21:02:21 -0600 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-12-07 21:02:21 -0600 |
| commit | 87c471be5794ddfaf285ac3cb27eaeae6c8a267c (patch) | |
| tree | 6796ee330e1870a4d243ab63ccf43f536233670c /test/regress/regress0/sets | |
| parent | 314db5e1c4fdbfca001b1f3a679831d086b25e5c (diff) | |
Add missing regression
Diffstat (limited to 'test/regress/regress0/sets')
| -rw-r--r-- | test/regress/regress0/sets/card-3sets.cvc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/regress/regress0/sets/card-3sets.cvc b/test/regress/regress0/sets/card-3sets.cvc new file mode 100644 index 000000000..cac10f39c --- /dev/null +++ b/test/regress/regress0/sets/card-3sets.cvc @@ -0,0 +1,9 @@ +% EXPECT: sat +OPTION "logic" "ALL_SUPPORTED"; +x : SET OF INT; +y : SET OF INT; +z : SET OF INT; + +ASSERT CARD( x ) > CARD( y ) AND CARD( y ) > CARD( z ); + +CHECKSAT; |