diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-10-03 00:55:35 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-03 00:55:35 -0700 |
commit | df058b7fb79abaa4e6488449f2307ee29f47efdd (patch) | |
tree | 3ad8f6161cba83e78e5ac0f78ca53002762341dc /test | |
parent | d0faa2b676130119c5d01e00851427fa97f44464 (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.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions