From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Fri, 21 Apr 2017 14:33:26 +0000 (-0500)
Subject: Fix new relations regressions to use sets-ext.
X-Git-Tag: cvc5-1.0.0~5826
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ff78fc50f1617da77b185d62f4018b9312866801;p=cvc5.git

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 f73700e88..4f0581706 100644
--- 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 d118f15dd..985a35a89 100644
--- 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 f71069217..e15920804 100644
--- 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;