projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21376f1) | patch
Update run scripts for SMT-COMP 2020 (#4454)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 6 May 2020 18:44:34 +0000 (11:44 -0700)
committerGitHub <noreply@github.com>
Wed, 6 May 2020 18:44:34 +0000 (11:44 -0700)
commit00badd3a63a2fa568373d5c58553944b579d42bb
tree13aa4a24c9eb647673e20e92b936fbca617b5b33tree
parent21376f1b756a237004adb9ba11c10566685a9605commit | diff
Update run scripts for SMT-COMP 2020 (#4454)

This commit adds additional options for the model validation track and
makes sure that non-"sat"/"unsat" outputs from the sequential porfolio
approaches are written to a file instead of stderr when running on
StarExec.
contrib/competitions/smt-comp/run-script-smtcomp-current diff | blob | history
contrib/competitions/smt-comp/run-script-smtcomp-current-model-validation diff | blob | history