projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bf059f) | patch
[SMT-COMP] Update use of `--decision` option (#8922)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 30 Jun 2022 13:45:21 +0000 (06:45 -0700)
committerGitHub <noreply@github.com>
Thu, 30 Jun 2022 13:45:21 +0000 (13:45 +0000)
commit95f928be27f79efbaf8c9eea98730f1b076891a2
treed409e43f97ea098f2028ecbf6147178fd8b4249ctree
parent0bf059f7969670d76f947086c3bc5e7688f2903ecommit | diff
[SMT-COMP] Update use of `--decision` option (#8922)

The name of the mode changed from justification-stoponly to just
stoponly.
contrib/competitions/smt-comp/run-script-smtcomp-current diff | blob | history
contrib/competitions/smt-comp/run-script-smtcomp-current-unsat-cores diff | blob | history