projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7755119) | patch
Consolidate solver resets (#6986)
authorGereon Kremer <nafur42@gmail.com>
Wed, 4 Aug 2021 23:46:49 +0000 (16:46 -0700)
committerGitHub <noreply@github.com>
Wed, 4 Aug 2021 23:46:49 +0000 (18:46 -0500)
commita796c4d8461f22aa523edd3031290e0ba03edd60
treeccc92f5cdfbed6042ae3c8ad8291bf54e4a700actree
parent77551190ce7c58031dd57c3c80cad987ff5135c0commit | diff
Consolidate solver resets (#6986)

This PR consolidates the two different reset implementations into a single function.
src/main/command_executor.cpp diff | blob | history
src/main/command_executor.h diff | blob | history
src/smt/command.cpp diff | blob | history
src/smt/command.h diff | blob | history