From: Clark Barrett <barrett@cs.stanford.edu>
Date: Fri, 18 Nov 2016 23:09:07 +0000 (-0800)
Subject: Modified a couple of regressoins to use ALL/QF_ALL instead of ALL_SUPPORTED/QF_ALL_SU... 
X-Git-Tag: cvc5-1.0.0~5973
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d667fcca0c61cc0d7e08bce59c82dab338b4c071;p=cvc5.git

Modified a couple of regressoins to use ALL/QF_ALL instead of ALL_SUPPORTED/QF_ALL_SUPPORTED
---

diff --git a/test/regress/regress0/bug296.smt2 b/test/regress/regress0/bug296.smt2
index f3600942a..92e540966 100644
--- a/test/regress/regress0/bug296.smt2
+++ b/test/regress/regress0/bug296.smt2
@@ -1,4 +1,4 @@
-(set-logic QF_ALL_SUPPORTED)
+(set-logic QF_ALL)
 (set-info :status unsat)
 (declare-datatypes
   () (
diff --git a/test/regress/regress0/bug484.smt2 b/test/regress/regress0/bug484.smt2
index afbd72420..3c73e261c 100644
--- a/test/regress/regress0/bug484.smt2
+++ b/test/regress/regress0/bug484.smt2
@@ -1,5 +1,5 @@
 ; Preamble  --------------
-(set-logic ALL_SUPPORTED)
+(set-logic ALL)
 (set-info :status sat)
 (declare-datatypes () ((UNIT (Unit))))
 (declare-datatypes () ((BOOL (Truth) (Falsity))))