projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b441ea) | patch
Execute `(reset)` command in parse-only mode (#7862)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 3 Jan 2022 17:35:13 +0000 (09:35 -0800)
committerGitHub <noreply@github.com>
Mon, 3 Jan 2022 17:35:13 +0000 (09:35 -0800)
commite0d69fdbe64e6191bf3e1dfbc1c471da9dbaa7cc
treecd47cf75f3cdcec8cbe1f13be5b7a9254cf49932tree
parent2b441eab892151ad4588299175e2b82ce78c6fa1commit | diff
Execute `(reset)` command in parse-only mode (#7862)

This commit fixes an issue where `--parse-only` would not execute
`(reset)` commands, leading to issues with symbols being defined
multiple times.
src/main/command_executor.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/parser/issue7860-parse-only-reset.smt2 [new file with mode: 0644] blob