projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f18f1bd) | patch
Guard use of unsat core mode pp-only (#7899)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 11 Jan 2022 14:48:14 +0000 (08:48 -0600)
committerGitHub <noreply@github.com>
Tue, 11 Jan 2022 14:48:14 +0000 (14:48 +0000)
commitb3ec6979e39ea329e45c4158f51680fdd5858781
tree56c183ab78365d0a74bbee22e2b8e422c124fe31tree
parentf18f1bd8c6bcc6827893a2c25e67ca8cf0ddca20commit | diff
Guard use of unsat core mode pp-only (#7899)

Fixes cvc5/cvc5-projects#366. Now gives
(error "Error in option parsing: Unsat core mode pp-only is for internal use only.")
src/options/smt_options.toml diff | blob | history
src/smt/set_defaults.cpp diff | blob | history