projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba7cda7) | patch
Update competition scripts (#4715)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 10 Jul 2020 14:52:01 +0000 (09:52 -0500)
committerGitHub <noreply@github.com>
Fri, 10 Jul 2020 14:52:01 +0000 (09:52 -0500)
commit246f3c6d2f11e788ced562c1fc1f8def4628baf2
tree2ae403e2c732d356367084d915c2ab9640858e0atree
parentba7cda7a9cb02a38b1cf8fd9fbd85304a9056a5ecommit | diff
Update competition scripts (#4715)

This PR creates a "current" sygus comp scripts, similar to what we have been doing for SMT COMP. It updates these scripts to fix the option names, as many have changed recently.

This also copies the SMT COMP current scripts to 2020, since they were used in the current state. @4tXJ7f let me know if this is not the case.
15 files changed:
contrib/competitions/smt-comp/run-script-smtcomp2020 [new file with mode: 0644] blob
contrib/competitions/smt-comp/run-script-smtcomp2020-incremental [new file with mode: 0644] blob
contrib/competitions/smt-comp/run-script-smtcomp2020-model-validation [new file with mode: 0644] blob
contrib/competitions/smt-comp/run-script-smtcomp2020-unsat-cores [new file with mode: 0644] blob
contrib/competitions/sygus-comp/run-script-sygusComp-current-CLIA [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp-current-GENERAL-auto [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp-current-GENERAL-f [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp-current-GENERAL-s [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp-current-INV-f [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp-current-INV-s [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp-current-INV-su [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp-current-PBE_BitVec-f [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp-current-PBE_BitVec-s [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp-current-PBE_Strings-f [new file with mode: 0755] blob
contrib/competitions/sygus-comp/run-script-sygusComp-current-PBE_Strings-s [new file with mode: 0755] blob