From f8bda2828e5f3e984623e38ea0778d36144bd05c Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 27 Aug 2018 20:08:01 -0500 Subject: Refactor extended rewriter, move rewrites to aggressive (#2387) This is work towards #2305. With this PR, CVC4's performance is fairly reasonable on the Kind2 BMC benchmarks with --decision=internal --ext-rew-prep --ext-rew-prep-agg. --- test/regress/regress0/fp/ext-rew-test.smt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/regress/regress0/fp') diff --git a/test/regress/regress0/fp/ext-rew-test.smt2 b/test/regress/regress0/fp/ext-rew-test.smt2 index 785c654ef..3fb3a9e53 100644 --- a/test/regress/regress0/fp/ext-rew-test.smt2 +++ b/test/regress/regress0/fp/ext-rew-test.smt2 @@ -1,4 +1,4 @@ -; COMMAND-LINE: --ext-rew-prep +; COMMAND-LINE: --ext-rew-prep --ext-rew-prep-agg ; EXPECT: unsat (set-info :smt-lib-version 2.6) (set-logic QF_FP) -- cgit v1.2.3