projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fcb1dd) | patch
[SMT-COMP 2019] Update run scripts to match tracks (#3018)
authorAndres Noetzli <noetzli@stanford.edu>
Mon, 20 May 2019 18:24:31 +0000 (11:24 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 20 May 2019 18:24:31 +0000 (11:24 -0700)
commit16ade2e20b6fd2afc49b8ea70d128ae665dff409
treecb5deee01a81c06839716056ac690949bfc0f3a3tree
parent5fcb1dd18bf01a95198c4981e2d81da64f5a4848commit | diff
[SMT-COMP 2019] Update run scripts to match tracks (#3018)

The "Application Track" has been renamed to "Incremental Track" this
year, so this commit renames the script accordingly and updates the name
of the CVC4 binary that the script calls to be just `cvc4`. The commit
also adds an initial script for the model validation track.
contrib/run-script-smtcomp2019 [changed mode: 0644->0755] blob | history
contrib/run-script-smtcomp2019-application [deleted file] blob | history
contrib/run-script-smtcomp2019-incremental [new file with mode: 0755] blob
contrib/run-script-smtcomp2019-model-validation [new file with mode: 0755] blob
contrib/run-script-smtcomp2019-unsat-cores [changed mode: 0644->0755] blob | history