projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d725d9) | patch
Allow changing certain options while solving (#6945)
authorGereon Kremer <nafur42@gmail.com>
Fri, 30 Jul 2021 17:23:44 +0000 (10:23 -0700)
committerGitHub <noreply@github.com>
Fri, 30 Jul 2021 17:23:44 +0000 (17:23 +0000)
commite7fdbc4d74ccb37efdd118eca519cb23bd350cad
tree852b70c1df45fcbd51925f37bc2ca107d13a97f5tree
parent2d725d9205256bde78d33fe2bf8bf867333a8b1ecommit | diff
Allow changing certain options while solving (#6945)

This PR allows changing some select options ever after the smt engine has been fully initialized, following the SMT-LIB standard (section 4.1.7).
src/api/cpp/cvc5.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/options/set-after-init.smt2 [new file with mode: 0644] blob