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/regress1/arith/arith-int-001.cvc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/regress/regress1/arith/arith-int-001.cvc') diff --git a/test/regress/regress1/arith/arith-int-001.cvc b/test/regress/regress1/arith/arith-int-001.cvc index 03ed1a6ae..3fd528c11 100644 --- a/test/regress/regress1/arith/arith-int-001.cvc +++ b/test/regress/regress1/arith/arith-int-001.cvc @@ -1,4 +1,4 @@ -% EXPECT: valid +% EXPECT: entailed x0, x1, x2, x3 : INT; ASSERT (-23 * x0) + (-23 * x1) + (5 * x2) + (-17 * x3) = 7 ; ASSERT (-14 * x0) + (-14 * x1) + (19 * x2) + (-24 * x3) = 29 ; -- cgit v1.2.3