summaryrefslogtreecommitdiff
path: root/test/regress/regress0/rels
diff options
context:
space:
mode:
Diffstat (limited to 'test/regress/regress0/rels')
-rw-r--r--test/regress/regress0/rels/addr_book_0.cvc2
-rw-r--r--test/regress/regress0/rels/atom_univ2.cvc2
-rw-r--r--test/regress/regress0/rels/card_transpose.cvc2
-rw-r--r--test/regress/regress0/rels/iden_0.cvc2
-rw-r--r--test/regress/regress0/rels/iden_1.cvc2
-rw-r--r--test/regress/regress0/rels/join-eq-u-sat.cvc2
-rw-r--r--test/regress/regress0/rels/join-eq-u.cvc2
-rw-r--r--test/regress/regress0/rels/joinImg_0.cvc2
-rw-r--r--test/regress/regress0/rels/rel_1tup_0.cvc2
-rw-r--r--test/regress/regress0/rels/rel_complex_0.cvc2
-rw-r--r--test/regress/regress0/rels/rel_complex_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_conflict_0.cvc2
-rw-r--r--test/regress/regress0/rels/rel_join_0.cvc2
-rw-r--r--test/regress/regress0/rels/rel_join_0_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_join_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_join_1_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_join_2.cvc2
-rw-r--r--test/regress/regress0/rels/rel_join_2_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_join_3.cvc2
-rw-r--r--test/regress/regress0/rels/rel_join_3_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_join_4.cvc2
-rw-r--r--test/regress/regress0/rels/rel_join_5.cvc2
-rw-r--r--test/regress/regress0/rels/rel_join_6.cvc2
-rw-r--r--test/regress/regress0/rels/rel_join_7.cvc2
-rw-r--r--test/regress/regress0/rels/rel_product_0.cvc2
-rw-r--r--test/regress/regress0/rels/rel_product_0_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_product_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_product_1_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_symbolic_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_symbolic_1_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_symbolic_2_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_symbolic_3_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tc_11.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tc_2_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tc_3.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tc_3_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tc_7.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tc_8.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tp_3_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tp_join_0.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tp_join_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tp_join_2.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tp_join_3.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tp_join_eq_0.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tp_join_int_0.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tp_join_pro_0.cvc2
-rw-r--r--test/regress/regress0/rels/rel_tp_join_var_0.cvc2
-rw-r--r--test/regress/regress0/rels/rel_transpose_0.cvc2
-rw-r--r--test/regress/regress0/rels/rel_transpose_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_transpose_1_1.cvc2
-rw-r--r--test/regress/regress0/rels/rel_transpose_3.cvc2
-rw-r--r--test/regress/regress0/rels/rel_transpose_4.cvc2
-rw-r--r--test/regress/regress0/rels/rel_transpose_5.cvc2
-rw-r--r--test/regress/regress0/rels/rel_transpose_6.cvc2
-rw-r--r--test/regress/regress0/rels/rel_transpose_7.cvc2
-rw-r--r--test/regress/regress0/rels/rels-sharing-simp.cvc2
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;
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback