From bed236463f34019a802c8f0ee66f386b77ac4446 Mon Sep 17 00:00:00 2001
From: Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Date: Wed, 29 Sep 2021 16:32:31 -0500
Subject: Remove support for extended `(check-sat <term>)` command. (#7270)

This commit removes support for the extended `(check-sat <term>)` command which overlaps in functionality with the standard `(check-sat-assuming (<prop_literal>*))` command.
---
 test/regress/regress0/cores/issue4925.smt2 | 4 ++--
 test/regress/regress0/cores/issue5238.smt2 | 4 ++--
 test/regress/regress0/cores/issue5902.smt2 | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'test/regress/regress0')

diff --git a/test/regress/regress0/cores/issue4925.smt2 b/test/regress/regress0/cores/issue4925.smt2
index 951f7e008..62428b565 100644
--- a/test/regress/regress0/cores/issue4925.smt2
+++ b/test/regress/regress0/cores/issue4925.smt2
@@ -12,5 +12,5 @@
 (assert (or (< a 1) (> c 1)))
 (check-sat)
 (assert (= b (- 1)))
-(check-sat true)
-(check-sat)
\ No newline at end of file
+(check-sat-assuming (true))
+(check-sat)
diff --git a/test/regress/regress0/cores/issue5238.smt2 b/test/regress/regress0/cores/issue5238.smt2
index ae3bed2e2..faf72f0e1 100644
--- a/test/regress/regress0/cores/issue5238.smt2
+++ b/test/regress/regress0/cores/issue5238.smt2
@@ -10,5 +10,5 @@
 (assert (= (/ 0 a) 1))
 (check-sat)
 (assert (= (+ a b) 0))
-(check-sat (> b 1))
-(check-sat)
\ No newline at end of file
+(check-sat-assuming ((> b 1)))
+(check-sat)
diff --git a/test/regress/regress0/cores/issue5902.smt2 b/test/regress/regress0/cores/issue5902.smt2
index 809873003..3c930b26b 100644
--- a/test/regress/regress0/cores/issue5902.smt2
+++ b/test/regress/regress0/cores/issue5902.smt2
@@ -1,3 +1,3 @@
 ; COMMAND-LINE: -q
 ; EXPECT: unsat
-(check-sat false)
+(check-sat-assuming (false))
-- 
cgit v1.2.3