From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sun, 15 Jun 2014 23:54:19 +0000 (-0400)
Subject: Application trace executor (if they end up using that) requires --print-success.
X-Git-Tag: cvc5-1.0.0~6805
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=39a863a248db14d3956b975d0e9c531b96f2baa4;p=cvc5.git

Application trace executor (if they end up using that) requires --print-success.
---

diff --git a/contrib/run-script-smtcomp2014-application b/contrib/run-script-smtcomp2014-application
index 16ee64bff..ae1d9e1ec 100755
--- a/contrib/run-script-smtcomp2014-application
+++ b/contrib/run-script-smtcomp2014-application
@@ -9,7 +9,7 @@ function runcvc4 {
   # we run in this way for line-buffered input, otherwise memory's a
   # concern (plus it mimics what we'll end up getting from an
   # application-track trace runner?)
-  cat "$bench" | $cvc4 -L smt2 --no-checking --no-interactive --tear-down-incremental "$@"
+  cat "$bench" | $cvc4 -L smt2 --print-success --no-checking --no-interactive --tear-down-incremental "$@"
 }
 
 case "$logic" in