projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21b3b7d) | patch
google test: theory: Migrate theory_white. (#6006)
authorAina Niemetz <aina.niemetz@gmail.com>
Sat, 27 Feb 2021 00:04:58 +0000 (16:04 -0800)
committerGitHub <noreply@github.com>
Sat, 27 Feb 2021 00:04:58 +0000 (00:04 +0000)
commit17839944bace2471e1f2dbd311d1bace9f212927
tree4de653bad4a1e4220ae7f11c1162c6114b7f7d19tree
parent21b3b7d708ce85c23c8d7a337d334b0989723595commit | diff
google test: theory: Migrate theory_white. (#6006)

This moves test utils for theory tests to test_smt.h and consolidates
two implementations of dummy theories into one.
src/CMakeLists.txt diff | blob | history
src/theory/theory_test_utils.h [deleted file] blob | history
test/unit/test_smt.h diff | blob | history
test/unit/theory/CMakeLists.txt diff | blob | history
test/unit/theory/evaluator_white.cpp diff | blob | history
test/unit/theory/theory_arith_white.cpp diff | blob | history
test/unit/theory/theory_bv_white.cpp diff | blob | history
test/unit/theory/theory_engine_white.cpp diff | blob | history
test/unit/theory/theory_white.cpp [new file with mode: 0644] blob
test/unit/theory/theory_white.h [deleted file] blob | history