From 8f5698e5a2a9243743e5416a9b29a6b2086794a8 Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Fri, 5 Jun 2015 17:16:58 -0400 Subject: [PATCH] pcvc4 with assertions --- contrib/run-script-smtcomp2015-assertions | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/run-script-smtcomp2015-assertions b/contrib/run-script-smtcomp2015-assertions index db35e3c93..3292e29fb 100755 --- a/contrib/run-script-smtcomp2015-assertions +++ b/contrib/run-script-smtcomp2015-assertions @@ -87,7 +87,7 @@ QF_ABV) finishwith --ite-simp --simp-with-care --repeat-simp ;; QF_BV) - exec ./pcvc4 -L smt2 --no-incremental --no-checking --no-interactive --thread-stack=256 \ + exec ./pcvc4-assertions -L smt2 --no-incremental --no-checking --no-interactive --thread-stack=256 \ --threads 2 \ --thread0 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bitblast=eager --no-bv-abstraction' \ --thread1 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bv-eq-slicer=auto ' \ -- 2.30.2