diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-06-14 17:42:47 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-06-14 17:42:47 +0000 |
commit | 4c956f292906c59ba77c000084a08a4e7888e49b (patch) | |
tree | b068a48c9fc8579eb078432ad6335b48e9a820d6 /Makefile | |
parent | 69693d7c8e5ca84b76fa807cb0797823058caa9a (diff) |
some changes to make CVC4 work nicely with trace executor for application track; (set-option :print-success true) supported, (exit) causes immediate exit regardless of EOF, etc.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -59,7 +59,7 @@ submission: mkdir -p cvc4-smtcomp-$(YEAR) cp -p builds/bin/cvc4 cvc4-smtcomp-$(YEAR)/cvc4 ( echo '#!/bin/sh'; \ - echo 'exec ./cvc4 -L smt2 --no-interactive' ) > cvc4-smtcomp-$(YEAR)/run + echo 'exec ./cvc4 -L smt2 --no-checking --no-interactive' ) > cvc4-smtcomp-$(YEAR)/run chmod 755 cvc4-smtcomp-$(YEAR)/run tar cf cvc4-smtcomp-$(YEAR).tar cvc4-smtcomp-$(YEAR) # application track is a separate build too :-( @@ -74,7 +74,7 @@ submission: mkdir -p cvc4-application-smtcomp-$(YEAR) cp -p builds/bin/cvc4 cvc4-application-smtcomp-$(YEAR)/cvc4 ( echo '#!/bin/sh'; \ - echo 'exec ./cvc4 -L smt2 --no-interactive --incremental' ) > cvc4-application-smtcomp-$(YEAR)/run + echo 'exec ./cvc4 -L smt2 --no-checking --no-interactive --incremental' ) > cvc4-application-smtcomp-$(YEAR)/run chmod 755 cvc4-application-smtcomp-$(YEAR)/run tar cf cvc4-application-smtcomp-$(YEAR).tar cvc4-application-smtcomp-$(YEAR) # parallel track can't be built with -cln, so it's a separate build @@ -90,6 +90,6 @@ submission: mkdir -p cvc4-parallel-smtcomp-$(YEAR) cp -p builds/bin/pcvc4 cvc4-parallel-smtcomp-$(YEAR)/pcvc4 ( echo '#!/bin/sh'; \ - echo 'exec ./pcvc4 --threads 2 -L smt2 --no-interactive' ) > cvc4-parallel-smtcomp-$(YEAR)/run + echo 'exec ./pcvc4 --threads 2 -L smt2 --no-checking --no-interactive' ) > cvc4-parallel-smtcomp-$(YEAR)/run chmod 755 cvc4-parallel-smtcomp-$(YEAR)/run tar cf cvc4-parallel-smtcomp-$(YEAR).tar cvc4-parallel-smtcomp-$(YEAR) |