projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98178c5) | patch
Do not enable some SMT-COMP specific options by default (#4038)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 11 Mar 2020 23:33:25 +0000 (18:33 -0500)
committerGitHub <noreply@github.com>
Wed, 11 Mar 2020 23:33:25 +0000 (18:33 -0500)
commit67c730c76969d016b23b0c90b190be28fda9ac3f
treef4a7279f7d4d0bdcd92268dc0f4111ef5676150ctree
parent98178c539c4eb502d3f3c3c4f1fcf0600d229b46commit | diff
Do not enable some SMT-COMP specific options by default (#4038)

Moves SMT-COMP-specific options to the SMT-COMP script. Both of these options have led to issues (segfaults or infinite loops).

Issue #789 can be downgraded to "minor" after this PR.

Btw, I did not add these specialized options to the "incremental" script of SMT-COMP, since I'm assuming they should not be used there.
contrib/competitions/smt-comp/run-script-smtcomp-current diff | blob | history
contrib/competitions/smt-comp/run-script-smtcomp-current-unsat-cores diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/arith/issue789.smt2 [new file with mode: 0644] blob