From cfeaf40ed6a9d4d7fec925352e30d2470a1ca567 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Tue, 31 Mar 2020 18:12:16 -0700 Subject: Rename checkValid/query to checkEntailed. (#4191) This renames api::Solver::checkValidAssuming to checkEntailed and removes api::Solver::checkValid. Internally, SmtEngine::query is renamed to SmtEngine::checkEntailed, and these changes are further propagated to the Result class. --- test/regress/regress0/cvc3.userdoc.06.cvc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/regress/regress0/cvc3.userdoc.06.cvc') diff --git a/test/regress/regress0/cvc3.userdoc.06.cvc b/test/regress/regress0/cvc3.userdoc.06.cvc index 3801b6d53..3968365ad 100644 --- a/test/regress/regress0/cvc3.userdoc.06.cvc +++ b/test/regress/regress0/cvc3.userdoc.06.cvc @@ -6,8 +6,8 @@ z, t : BITVECTOR(12); ASSERT x = 0hexff; ASSERT z = 0hexff0; -% EXPECT: valid +% EXPECT: entailed QUERY z = x << 4; -% EXPECT: valid +% EXPECT: entailed QUERY (z >> 4)[7:0] = x; -- cgit v1.2.3