projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c08a0e) | patch
Throw option exceptions when combining input conversion preprocessing with sygus...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 18 Feb 2022 23:13:14 +0000 (17:13 -0600)
committerGitHub <noreply@github.com>
Fri, 18 Feb 2022 23:13:14 +0000 (23:13 +0000)
commit9fc39569250d3f503401e003d5cfacd0dd352691
tree84b5a8a58f2cc267b3b8b14b70902ab698c4284ftree
parent0c08a0ed0e83faaa7c63bf3db55b9f65d6f73388commit | diff
Throw option exceptions when combining input conversion preprocessing with sygus (#8059)

Fixes cvc5/cvc5-projects#436.
src/smt/set_defaults.cpp diff | blob | history
src/smt/set_defaults.h diff | blob | history
test/unit/api/cpp/solver_black.cpp diff | blob | history