diff options
Diffstat (limited to 'test/regress/regress1/rels/iden_1_1.cvc')
-rw-r--r-- | test/regress/regress1/rels/iden_1_1.cvc | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/test/regress/regress1/rels/iden_1_1.cvc b/test/regress/regress1/rels/iden_1_1.cvc deleted file mode 100644 index 16bf42115..000000000 --- a/test/regress/regress1/rels/iden_1_1.cvc +++ /dev/null @@ -1,22 +0,0 @@ -% EXPECT: sat -OPTION "sets-ext"; -OPTION "logic" "ALL"; -Atom:TYPE; -AtomPair: TYPE = [Atom, Atom]; -x : SET OF AtomPair; -t : SET OF [Atom]; -univ : SET OF [Atom]; -univ2 : SET OF [Atom,Atom]; - -a : Atom; -b : Atom; -c : Atom; -d : Atom; -ASSERT univ = UNIVERSE::SET OF [Atom]; -ASSERT univ2 = UNIVERSE::SET OF [Atom, Atom]; -ASSERT univ2 = (univ PRODUCT univ); -ASSERT (a, b) IS_IN x; -ASSERT (c, d) IS_IN x; -ASSERT NOT(a = b); -ASSERT IDEN(univ) <= x; -CHECKSAT; |