projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0faa2b) | patch
Add initial version of the SMTCOMP2018 run scripts (#1185)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 3 Oct 2017 07:55:35 +0000 (00:55 -0700)
committerGitHub <noreply@github.com>
Tue, 3 Oct 2017 07:55:35 +0000 (00:55 -0700)
commitdf058b7fb79abaa4e6488449f2307ee29f47efdd
tree3ad8f6161cba83e78e5ac0f78ca53002762341dctree
parentd0faa2b676130119c5d01e00851427fa97f44464commit | diff
Add initial version of the SMTCOMP2018 run scripts (#1185)

This commit is a preparation step for removing the --thread-stack
option (and, ultimately, the dependency on Boost). It just copies the
2017 version of the scripts and changes the --fs-inst flag to
--fs-interleave, following the renaming in commit
7766f0ba088ad6d6c58ea9678477b255c9e52fee.
contrib/run-script-smtcomp2018 [new file with mode: 0644] blob
contrib/run-script-smtcomp2018-application [new file with mode: 0755] blob
contrib/run-script-smtcomp2018-unsat-cores [new file with mode: 0644] blob