projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6edc06b) | patch
Remove invalid options from run scripts (#6645)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 31 May 2021 04:13:37 +0000 (21:13 -0700)
committerGitHub <noreply@github.com>
Mon, 31 May 2021 04:13:37 +0000 (21:13 -0700)
commit8cfc5cf2a170f32153f9cc3823dc8339d37086c3
tree65f582ded662c6bfec0e770b5a752dfc2b8942a1tree
parent6edc06b3fb6367e8366cab13340228e2bebfca1ecommit | diff
Remove invalid options from run scripts (#6645)

This commit removes some of the options in the run scripts that are not
supported anymore: `--bv-div-zero-const` and `--rewrite-divk`. Both of
those options are effectively enabled by default in cvc5.
NEWS diff | blob | history
contrib/competitions/smt-comp/run-script-smtcomp-current-model-validation diff | blob | history
contrib/competitions/smt-comp/run-script-smtcomp-current-unsat-cores diff | blob | history