diff options
Diffstat (limited to 'test/regress/regress0/sets/complement.cvc')
| -rw-r--r-- | test/regress/regress0/sets/complement.cvc | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/test/regress/regress0/sets/complement.cvc b/test/regress/regress0/sets/complement.cvc deleted file mode 100644 index 64df0790a..000000000 --- a/test/regress/regress0/sets/complement.cvc +++ /dev/null @@ -1,10 +0,0 @@ -% EXPECT: sat -OPTION "sets-ext"; -OPTION "logic" "ALL"; -Atom: TYPE; -a : SET OF [Atom]; -b : SET OF [Atom]; - -ASSERT a = (~ b); - -CHECKSAT; |