projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04eb812) | patch
Add run script for unsat cores track at SMT-COMP (#177)
authorAndres Nötzli <andres.noetzli@gmail.com>
Wed, 21 Jun 2017 16:25:11 +0000 (09:25 -0700)
committerGitHub <noreply@github.com>
Wed, 21 Jun 2017 16:25:11 +0000 (09:25 -0700)
commit6fc4709d5791f26be69cbb4b215db04da7a559b3
treec55a58b1ae77f7e0b69e4002f1985d8d74708ed1tree
parent04eb812bb229c2bb04dd384dcad913387ea4d372commit | diff
Add run script for unsat cores track at SMT-COMP (#177)

Note: this was a last minute effort, so we do not use the portfolio build for
this track. This part for example:

https://github.com/CVC4/CVC4/blob/d43e5fb294d89ba69f7d2607a12c8700b7ec9345/src/main/command_executor_portfolio.cpp#L351-L355

Would have to change before we can enable use the portfolio build for unsat
cores in a competition build.
contrib/run-script-smtcomp2017-unsat-cores [new file with mode: 0644] blob