diff options
Diffstat (limited to 'test/regress/regress0/rels')
56 files changed, 56 insertions, 56 deletions
diff --git a/test/regress/regress0/rels/addr_book_0.cvc b/test/regress/regress0/rels/addr_book_0.cvc index 5b1ecefd8..bae21f178 100644 --- a/test/regress/regress0/rels/addr_book_0.cvc +++ b/test/regress/regress0/rels/addr_book_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; Atom : TYPE; AtomTup : TYPE = [Atom]; AtomBinTup : TYPE = [Atom, Atom]; diff --git a/test/regress/regress0/rels/atom_univ2.cvc b/test/regress/regress0/rels/atom_univ2.cvc index e01d99dee..b290a2bb0 100644 --- a/test/regress/regress0/rels/atom_univ2.cvc +++ b/test/regress/regress0/rels/atom_univ2.cvc @@ -1,6 +1,6 @@ % EXPECT: unsat
OPTION "sets-ext";
-OPTION "logic" "ALL_SUPPORTED";
+OPTION "logic" "ALL";
Atom: TYPE;
a : SET OF [Atom];
diff --git a/test/regress/regress0/rels/card_transpose.cvc b/test/regress/regress0/rels/card_transpose.cvc index bde7fe53e..383b0bc21 100644 --- a/test/regress/regress0/rels/card_transpose.cvc +++ b/test/regress/regress0/rels/card_transpose.cvc @@ -1,5 +1,5 @@ % EXPECT: unknown (INCOMPLETE) -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; ASSERT (CARD(TRANSPOSE(x)) > 0); diff --git a/test/regress/regress0/rels/iden_0.cvc b/test/regress/regress0/rels/iden_0.cvc index 4c2693084..70e365b8f 100644 --- a/test/regress/regress0/rels/iden_0.cvc +++ b/test/regress/regress0/rels/iden_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; Atom: TYPE; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/iden_1.cvc b/test/regress/regress0/rels/iden_1.cvc index 4f0581706..d874c9381 100644 --- a/test/regress/regress0/rels/iden_1.cvc +++ b/test/regress/regress0/rels/iden_1.cvc @@ -1,6 +1,6 @@ % EXPECT: unsat OPTION "sets-ext"; -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; Atom:TYPE; AtomPair: TYPE = [Atom, Atom]; x : SET OF AtomPair; diff --git a/test/regress/regress0/rels/join-eq-u-sat.cvc b/test/regress/regress0/rels/join-eq-u-sat.cvc index 0202cbb41..1c45aa46b 100644 --- a/test/regress/regress0/rels/join-eq-u-sat.cvc +++ b/test/regress/regress0/rels/join-eq-u-sat.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/join-eq-u.cvc b/test/regress/regress0/rels/join-eq-u.cvc index 4bc498aec..174e5dc16 100644 --- a/test/regress/regress0/rels/join-eq-u.cvc +++ b/test/regress/regress0/rels/join-eq-u.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/joinImg_0.cvc b/test/regress/regress0/rels/joinImg_0.cvc index 297898a81..b3dc944fd 100644 --- a/test/regress/regress0/rels/joinImg_0.cvc +++ b/test/regress/regress0/rels/joinImg_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; OPTION "sets-ext"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_1tup_0.cvc b/test/regress/regress0/rels/rel_1tup_0.cvc index 50d4defd5..90a22856e 100644 --- a/test/regress/regress0/rels/rel_1tup_0.cvc +++ b/test/regress/regress0/rels/rel_1tup_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntTup: TYPE = [INT]; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_complex_0.cvc b/test/regress/regress0/rels/rel_complex_0.cvc index dcb753973..c4cf0a01f 100644 --- a/test/regress/regress0/rels/rel_complex_0.cvc +++ b/test/regress/regress0/rels/rel_complex_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_complex_1.cvc b/test/regress/regress0/rels/rel_complex_1.cvc index 969d0d71c..4b23cdd2b 100644 --- a/test/regress/regress0/rels/rel_complex_1.cvc +++ b/test/regress/regress0/rels/rel_complex_1.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; IntTup: TYPE = [INT]; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_conflict_0.cvc b/test/regress/regress0/rels/rel_conflict_0.cvc index c1b82339f..bc6750035 100644 --- a/test/regress/regress0/rels/rel_conflict_0.cvc +++ b/test/regress/regress0/rels/rel_conflict_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; e : IntPair; diff --git a/test/regress/regress0/rels/rel_join_0.cvc b/test/regress/regress0/rels/rel_join_0.cvc index 406b8d312..e0b76f2c9 100644 --- a/test/regress/regress0/rels/rel_join_0.cvc +++ b/test/regress/regress0/rels/rel_join_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_join_0_1.cvc b/test/regress/regress0/rels/rel_join_0_1.cvc index a7fa7efb9..5fa5f14ef 100644 --- a/test/regress/regress0/rels/rel_join_0_1.cvc +++ b/test/regress/regress0/rels/rel_join_0_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_join_1.cvc b/test/regress/regress0/rels/rel_join_1.cvc index c8921afb9..da3217642 100644 --- a/test/regress/regress0/rels/rel_join_1.cvc +++ b/test/regress/regress0/rels/rel_join_1.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_join_1_1.cvc b/test/regress/regress0/rels/rel_join_1_1.cvc index 75fc08387..ab00ed8b3 100644 --- a/test/regress/regress0/rels/rel_join_1_1.cvc +++ b/test/regress/regress0/rels/rel_join_1_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_join_2.cvc b/test/regress/regress0/rels/rel_join_2.cvc index cac7ce84d..0f50757fc 100644 --- a/test/regress/regress0/rels/rel_join_2.cvc +++ b/test/regress/regress0/rels/rel_join_2.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; IntTup: TYPE = [INT, INT, INT]; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_join_2_1.cvc b/test/regress/regress0/rels/rel_join_2_1.cvc index 3e27b9cc5..4d412c649 100644 --- a/test/regress/regress0/rels/rel_join_2_1.cvc +++ b/test/regress/regress0/rels/rel_join_2_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; IntTup: TYPE = [INT, INT, INT]; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_join_3.cvc b/test/regress/regress0/rels/rel_join_3.cvc index 6e190cecf..fb48aba77 100644 --- a/test/regress/regress0/rels/rel_join_3.cvc +++ b/test/regress/regress0/rels/rel_join_3.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_join_3_1.cvc b/test/regress/regress0/rels/rel_join_3_1.cvc index dedc4ae44..238028e18 100644 --- a/test/regress/regress0/rels/rel_join_3_1.cvc +++ b/test/regress/regress0/rels/rel_join_3_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_join_4.cvc b/test/regress/regress0/rels/rel_join_4.cvc index 030810f3d..c5210af1c 100644 --- a/test/regress/regress0/rels/rel_join_4.cvc +++ b/test/regress/regress0/rels/rel_join_4.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_join_5.cvc b/test/regress/regress0/rels/rel_join_5.cvc index 590e581a7..541e7bf37 100644 --- a/test/regress/regress0/rels/rel_join_5.cvc +++ b/test/regress/regress0/rels/rel_join_5.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_join_6.cvc b/test/regress/regress0/rels/rel_join_6.cvc index 17318872f..cd76d9afe 100644 --- a/test/regress/regress0/rels/rel_join_6.cvc +++ b/test/regress/regress0/rels/rel_join_6.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_join_7.cvc b/test/regress/regress0/rels/rel_join_7.cvc index fff5b6efe..c2f581114 100644 --- a/test/regress/regress0/rels/rel_join_7.cvc +++ b/test/regress/regress0/rels/rel_join_7.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_product_0.cvc b/test/regress/regress0/rels/rel_product_0.cvc index 09981be0b..3765fa8cb 100644 --- a/test/regress/regress0/rels/rel_product_0.cvc +++ b/test/regress/regress0/rels/rel_product_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; IntTup: TYPE = [INT, INT, INT, INT]; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_product_0_1.cvc b/test/regress/regress0/rels/rel_product_0_1.cvc index f141c7bd4..160543407 100644 --- a/test/regress/regress0/rels/rel_product_0_1.cvc +++ b/test/regress/regress0/rels/rel_product_0_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; IntTup: TYPE = [INT, INT, INT, INT]; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_product_1.cvc b/test/regress/regress0/rels/rel_product_1.cvc index 1826e5a75..6f64ee892 100644 --- a/test/regress/regress0/rels/rel_product_1.cvc +++ b/test/regress/regress0/rels/rel_product_1.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT, INT]; IntTup: TYPE = [INT, INT, INT, INT,INT, INT]; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_product_1_1.cvc b/test/regress/regress0/rels/rel_product_1_1.cvc index 2d79cbc0c..8371632b9 100644 --- a/test/regress/regress0/rels/rel_product_1_1.cvc +++ b/test/regress/regress0/rels/rel_product_1_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT, INT]; IntTup: TYPE = [INT, INT, INT, INT,INT, INT]; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_symbolic_1.cvc b/test/regress/regress0/rels/rel_symbolic_1.cvc index 08ed32411..91df3e6de 100644 --- a/test/regress/regress0/rels/rel_symbolic_1.cvc +++ b/test/regress/regress0/rels/rel_symbolic_1.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_symbolic_1_1.cvc b/test/regress/regress0/rels/rel_symbolic_1_1.cvc index df2d7f412..7890ca2e2 100644 --- a/test/regress/regress0/rels/rel_symbolic_1_1.cvc +++ b/test/regress/regress0/rels/rel_symbolic_1_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_symbolic_2_1.cvc b/test/regress/regress0/rels/rel_symbolic_2_1.cvc index 082604dc2..ae0eeffae 100644 --- a/test/regress/regress0/rels/rel_symbolic_2_1.cvc +++ b/test/regress/regress0/rels/rel_symbolic_2_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_symbolic_3_1.cvc b/test/regress/regress0/rels/rel_symbolic_3_1.cvc index da0906dd2..bdfcaf5a8 100644 --- a/test/regress/regress0/rels/rel_symbolic_3_1.cvc +++ b/test/regress/regress0/rels/rel_symbolic_3_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tc_11.cvc b/test/regress/regress0/rels/rel_tc_11.cvc index 813b8235b..c3447622d 100644 --- a/test/regress/regress0/rels/rel_tc_11.cvc +++ b/test/regress/regress0/rels/rel_tc_11.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; IntTup: TYPE = [INT, INT, INT, INT]; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tc_2_1.cvc b/test/regress/regress0/rels/rel_tc_2_1.cvc index d5d42eaad..e396b886d 100644 --- a/test/regress/regress0/rels/rel_tc_2_1.cvc +++ b/test/regress/regress0/rels/rel_tc_2_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tc_3.cvc b/test/regress/regress0/rels/rel_tc_3.cvc index dc2138357..080c676a8 100644 --- a/test/regress/regress0/rels/rel_tc_3.cvc +++ b/test/regress/regress0/rels/rel_tc_3.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tc_3_1.cvc b/test/regress/regress0/rels/rel_tc_3_1.cvc index a9b2e8b98..f1d9bbadc 100644 --- a/test/regress/regress0/rels/rel_tc_3_1.cvc +++ b/test/regress/regress0/rels/rel_tc_3_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tc_7.cvc b/test/regress/regress0/rels/rel_tc_7.cvc index 1958c0eee..d68779310 100644 --- a/test/regress/regress0/rels/rel_tc_7.cvc +++ b/test/regress/regress0/rels/rel_tc_7.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tc_8.cvc b/test/regress/regress0/rels/rel_tc_8.cvc index ecf938c23..1a81ab569 100644 --- a/test/regress/regress0/rels/rel_tc_8.cvc +++ b/test/regress/regress0/rels/rel_tc_8.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tp_3_1.cvc b/test/regress/regress0/rels/rel_tp_3_1.cvc index 00c83e2d2..6284d3041 100644 --- a/test/regress/regress0/rels/rel_tp_3_1.cvc +++ b/test/regress/regress0/rels/rel_tp_3_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tp_join_0.cvc b/test/regress/regress0/rels/rel_tp_join_0.cvc index 9aaf6d9b1..7ea179d26 100644 --- a/test/regress/regress0/rels/rel_tp_join_0.cvc +++ b/test/regress/regress0/rels/rel_tp_join_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tp_join_1.cvc b/test/regress/regress0/rels/rel_tp_join_1.cvc index 5d9b5447f..845f26dce 100644 --- a/test/regress/regress0/rels/rel_tp_join_1.cvc +++ b/test/regress/regress0/rels/rel_tp_join_1.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tp_join_2.cvc b/test/regress/regress0/rels/rel_tp_join_2.cvc index 40471c1f9..a7b96b83b 100644 --- a/test/regress/regress0/rels/rel_tp_join_2.cvc +++ b/test/regress/regress0/rels/rel_tp_join_2.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tp_join_3.cvc b/test/regress/regress0/rels/rel_tp_join_3.cvc index 008b2aa1e..3f39f5773 100644 --- a/test/regress/regress0/rels/rel_tp_join_3.cvc +++ b/test/regress/regress0/rels/rel_tp_join_3.cvc @@ -1,6 +1,6 @@ % EXPECT: unsat % crash on this -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; w : SET OF IntPair; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tp_join_eq_0.cvc b/test/regress/regress0/rels/rel_tp_join_eq_0.cvc index c5a90ff29..852e93466 100644 --- a/test/regress/regress0/rels/rel_tp_join_eq_0.cvc +++ b/test/regress/regress0/rels/rel_tp_join_eq_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tp_join_int_0.cvc b/test/regress/regress0/rels/rel_tp_join_int_0.cvc index 8d149a48d..6ab678881 100644 --- a/test/regress/regress0/rels/rel_tp_join_int_0.cvc +++ b/test/regress/regress0/rels/rel_tp_join_int_0.cvc @@ -1,6 +1,6 @@ % EXPECT: unsat % crash on this -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; w : SET OF IntPair; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tp_join_pro_0.cvc b/test/regress/regress0/rels/rel_tp_join_pro_0.cvc index 77de6b829..18eaa51a9 100644 --- a/test/regress/regress0/rels/rel_tp_join_pro_0.cvc +++ b/test/regress/regress0/rels/rel_tp_join_pro_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; IntTup: TYPE = [INT, INT, INT, INT]; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_tp_join_var_0.cvc b/test/regress/regress0/rels/rel_tp_join_var_0.cvc index aacf6c054..08a9d0bb5 100644 --- a/test/regress/regress0/rels/rel_tp_join_var_0.cvc +++ b/test/regress/regress0/rels/rel_tp_join_var_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; w : SET OF IntPair; x : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_transpose_0.cvc b/test/regress/regress0/rels/rel_transpose_0.cvc index d46cacead..4687bd47c 100644 --- a/test/regress/regress0/rels/rel_transpose_0.cvc +++ b/test/regress/regress0/rels/rel_transpose_0.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_transpose_1.cvc b/test/regress/regress0/rels/rel_transpose_1.cvc index bbd6e5743..c205edabc 100644 --- a/test/regress/regress0/rels/rel_transpose_1.cvc +++ b/test/regress/regress0/rels/rel_transpose_1.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntTup: TYPE = [INT, INT, INT]; x : SET OF IntTup; y : SET OF IntTup; diff --git a/test/regress/regress0/rels/rel_transpose_1_1.cvc b/test/regress/regress0/rels/rel_transpose_1_1.cvc index 627e20fbf..62afa7a93 100644 --- a/test/regress/regress0/rels/rel_transpose_1_1.cvc +++ b/test/regress/regress0/rels/rel_transpose_1_1.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntTup: TYPE = [INT, INT, INT]; x : SET OF IntTup; y : SET OF IntTup; diff --git a/test/regress/regress0/rels/rel_transpose_3.cvc b/test/regress/regress0/rels/rel_transpose_3.cvc index 06cc82c45..7208b4ce6 100644 --- a/test/regress/regress0/rels/rel_transpose_3.cvc +++ b/test/regress/regress0/rels/rel_transpose_3.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_transpose_4.cvc b/test/regress/regress0/rels/rel_transpose_4.cvc index 882148013..0cf2c3b63 100644 --- a/test/regress/regress0/rels/rel_transpose_4.cvc +++ b/test/regress/regress0/rels/rel_transpose_4.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_transpose_5.cvc b/test/regress/regress0/rels/rel_transpose_5.cvc index 203e8b3d2..8f6d48e35 100644 --- a/test/regress/regress0/rels/rel_transpose_5.cvc +++ b/test/regress/regress0/rels/rel_transpose_5.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_transpose_6.cvc b/test/regress/regress0/rels/rel_transpose_6.cvc index 3923e26b6..c7b8ebbae 100644 --- a/test/regress/regress0/rels/rel_transpose_6.cvc +++ b/test/regress/regress0/rels/rel_transpose_6.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rel_transpose_7.cvc b/test/regress/regress0/rels/rel_transpose_7.cvc index bcc3babc8..4d1426990 100644 --- a/test/regress/regress0/rels/rel_transpose_7.cvc +++ b/test/regress/regress0/rels/rel_transpose_7.cvc @@ -1,5 +1,5 @@ % EXPECT: unsat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; x : SET OF IntPair; y : SET OF IntPair; diff --git a/test/regress/regress0/rels/rels-sharing-simp.cvc b/test/regress/regress0/rels/rels-sharing-simp.cvc index 26bc94a43..641d71d5a 100644 --- a/test/regress/regress0/rels/rels-sharing-simp.cvc +++ b/test/regress/regress0/rels/rels-sharing-simp.cvc @@ -1,5 +1,5 @@ % EXPECT: sat -OPTION "logic" "ALL_SUPPORTED"; +OPTION "logic" "ALL"; IntPair: TYPE = [INT, INT]; w : SET OF IntPair; z : SET OF IntPair; |