Fix new relations regressions to use sets-ext.

diff --git a/test/regress/regress0/rels/iden_1.cvc b/test/regress/regress0/rels/iden_1.cvc
index f73700e88884b4e4894c4a1248415ea940c9d4ae..4f05817066270d5127ac4bd31dcf91b938a17f11 100644 (file)
--- a/test/regress/regress0/rels/iden_1.cvc
+++ b/test/regress/regress0/rels/iden_1.cvc
@@ -1,4 +1,5 @@
 % EXPECT: unsat
+OPTION "sets-ext";
 OPTION "logic" "ALL_SUPPORTED";
 Atom:TYPE;
 AtomPair: TYPE = [Atom, Atom];

diff --git a/test/regress/regress0/rels/iden_1_1.cvc b/test/regress/regress0/rels/iden_1_1.cvc
index d118f15dd4ebc4124de3c5b8962b5c5395b28c0f..985a35a89e7290bbaf83e17abb20cc49f52fc8d2 100644 (file)
--- a/test/regress/regress0/rels/iden_1_1.cvc
+++ b/test/regress/regress0/rels/iden_1_1.cvc
@@ -1,4 +1,5 @@
 % EXPECT: sat
+OPTION "sets-ext";
 OPTION "logic" "ALL_SUPPORTED";
 Atom:TYPE;
 AtomPair: TYPE = [Atom, Atom];

diff --git a/test/regress/regress0/rels/joinImg_0_2.cvc b/test/regress/regress0/rels/joinImg_0_2.cvc
index f71069217bca22340e67d312068a15a5591fd608..e15920804c1572f6c1b04d7dfba428288bdff9c3 100644 (file)
--- a/test/regress/regress0/rels/joinImg_0_2.cvc
+++ b/test/regress/regress0/rels/joinImg_0_2.cvc
@@ -1,4 +1,5 @@
 % EXPECT: sat
+OPTION "sets-ext";
 OPTION "logic" "ALL_SUPPORTED";
 IntPair: TYPE = [INT, INT];
 x : SET OF IntPair;