From c6fffe4fd328401f7f7e0757303e8dea5f6c14a4 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Fri, 5 Mar 2021 16:17:15 -0800 Subject: Remove SMT-LIB 2.5 and 2.0 support. (#6068) This commit removes parser and printer support for old SMT-LIB standards and also converts all regression tests to 2.6. --- test/regress/regress0/bug578.smt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/regress/regress0/bug578.smt2') diff --git a/test/regress/regress0/bug578.smt2 b/test/regress/regress0/bug578.smt2 index a4d53f8bf..f0e204310 100644 --- a/test/regress/regress0/bug578.smt2 +++ b/test/regress/regress0/bug578.smt2 @@ -1,4 +1,4 @@ -(set-info :smt-lib-version 2.0) +(set-info :smt-lib-version 2.6) (set-info :status sat) (set-logic QF_BV) (declare-fun v0 () (_ BitVec 1)) -- cgit v1.2.3