projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fb1ec4) | patch
Split CheckModels utility to its own file (#5303)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 20 Oct 2020 13:17:34 +0000 (08:17 -0500)
committerGitHub <noreply@github.com>
Tue, 20 Oct 2020 13:17:34 +0000 (15:17 +0200)
commitcd1a8023502b0d6d268dafd22328d06840d04324
treeeb5d9eef5c3a9b1aedfc46e987fd034364409bactree
parent5fb1ec459d6d94c1326ab1befe8ce8b8fbc8cfd3commit | diff
Split CheckModels utility to its own file (#5303)

This utility will be undergoing major additions to make it more robust. Thus it should be moved to its own file.

There are no major code changes in this PR, a few things were changed to be consistent to the coding standard.
src/CMakeLists.txt diff | blob | history
src/smt/check_models.cpp [new file with mode: 0644] blob
src/smt/check_models.h [new file with mode: 0644] blob
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/smt/smt_solver.cpp diff | blob | history
src/smt/smt_solver.h diff | blob | history