diff options
author | Paul Meng <baolmeng@gmail.com> | 2016-09-12 16:46:39 -0500 |
---|---|---|
committer | Paul Meng <baolmeng@gmail.com> | 2016-09-12 16:46:39 -0500 |
commit | 6d396ed8f2d45aceb0576ed21cab1cac86dc0061 (patch) | |
tree | 09fd1ae8f15dd7d95503ed80a13a3fdff1722a17 /test | |
parent | a389690dae7889c1bca8cba60e6460cfb8645e55 (diff) |
fixed capitalized "kind"
Diffstat (limited to 'test')
-rw-r--r-- | test/regress/regress0/sets/rels/addr_book.cvc | 49 |
1 files changed, 0 insertions, 49 deletions
diff --git a/test/regress/regress0/sets/rels/addr_book.cvc b/test/regress/regress0/sets/rels/addr_book.cvc deleted file mode 100644 index fbe782ab2..000000000 --- a/test/regress/regress0/sets/rels/addr_book.cvc +++ /dev/null @@ -1,49 +0,0 @@ -% EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; -Atom : TYPE; -AtomTup : TYPE = [Atom]; -AtomBinTup : TYPE = [Atom, Atom]; -AtomTerTup : TYPE = [Atom, Atom, Atom]; -Target: SET OF AtomTup; - -Name: SET OF AtomTup; -Addr: SET OF AtomTup; -Book: SET OF AtomTup; -names: SET OF AtomBinTup; -addr: SET OF AtomTerTup; - -b1: Atom; -b1_tup : AtomTup; -ASSERT b1_tup = TUPLE(b1); -ASSERT b1_tup IS_IN Book; - -b2: Atom; -b2_tup : AtomTup; -ASSERT b2_tup = TUPLE(b2); -ASSERT b2_tup IS_IN Book; - -b3: Atom; -b3_tup : AtomTup; -ASSERT b3_tup = TUPLE(b3); -ASSERT b3_tup IS_IN Book; - -n: Atom; -n_tup : AtomTup; -ASSERT n_tup = TUPLE(n); -ASSERT n_tup IS_IN Name; - -t: Atom; -t_tup : AtomTup; -ASSERT t_tup = TUPLE(t); -ASSERT t_tup IS_IN Target; - -ASSERT ((Book JOIN addr) JOIN Target) = Name; -ASSERT (Book JOIN names) = Name; -ASSERT (Name & Addr) = {}::SET OF AtomTup; - -ASSERT ({n_tup} JOIN ({b1_tup} JOIN addr)) = {}::SET OF AtomTup; -ASSERT ({n_tup} JOIN ({b2_tup} JOIN addr)) = ({n_tup} JOIN ({b1_tup} JOIN addr)) | {t_tup}; -ASSERT ({n_tup} JOIN ({b3_tup} JOIN addr)) = ({n_tup} JOIN ({b2_tup} JOIN addr)) - {t_tup}; -ASSERT NOT (({n_tup} JOIN ({b1_tup} JOIN addr)) = ({n_tup} JOIN ({b3_tup} JOIN addr))); - -CHECKSAT;
\ No newline at end of file |