projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea865ad) | patch
Initial version of run scripts for SMT-COMP 2019 (#2951)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 15 Apr 2019 22:03:00 +0000 (15:03 -0700)
committerGitHub <noreply@github.com>
Mon, 15 Apr 2019 22:03:00 +0000 (15:03 -0700)
commit8db8b76f4ee98e3166ee8bb2e1bad77380060edc
tree3233a1d4c0d4555fbd7eba5d19c2a2a176143d83tree
parentea865ade5ab89f54425182fc580b439a58204c43commit | diff
Initial version of run scripts for SMT-COMP 2019 (#2951)

For now, they are just copies of the 2018 version of the scripts.
contrib/run-script-smtcomp2019 [new file with mode: 0644] blob
contrib/run-script-smtcomp2019-application [new file with mode: 0755] blob
contrib/run-script-smtcomp2019-unsat-cores [new file with mode: 0644] blob