projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6beda73) | patch
Allow (set-logic ...) after (reset) (#3457)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 13 Nov 2019 22:14:09 +0000 (14:14 -0800)
committerGitHub <noreply@github.com>
Wed, 13 Nov 2019 22:14:09 +0000 (14:14 -0800)
commit0383980050ab86b1a4f7f265d9c8527e627ef971
tree7860df1b0ff8a1bb4cdf908bd491608021be7e96tree
parent6beda739210b7bd13adbb7f62b0c4361156986eecommit | diff
Allow (set-logic ...) after (reset) (#3457)

Fixes #3353. #3062 introduced a flag that tracks whether we have seen a
`(set-logic ...)` command to improve the handling of `--force-logic`.
However, the flag was not set to `false` when `(reset)` was called. This
commit fixes the issue.
src/parser/smt2/smt2.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/smtlib/reset-force-logic.smt2 [new file with mode: 0644] blob
test/regress/regress0/smtlib/reset-set-logic.smt2 [new file with mode: 0644] blob