projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 798644e) | patch
google test: Infrastructure and first api test. (#5548)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 2 Dec 2020 00:30:33 +0000 (16:30 -0800)
committerGitHub <noreply@github.com>
Wed, 2 Dec 2020 00:30:33 +0000 (16:30 -0800)
commita87df2bb60a8739d4eb24b60efca79f8d2b7d806
treee84ca95fec9a2eaf992ba7e6f8426f53a2b3bccctree
parent798644e64f438f320577a444110744041e39d1ffcommit | diff
google test: Infrastructure and first api test. (#5548)

This sets up the infrastructure for migrating unit tests from CxxTest to
Google Test. It further migrates api/datatype_api_black to the new
infrastructure.
18 files changed:
.github/workflows/ci.yml diff | blob | history
CMakeLists.txt diff | blob | history
INSTALL.md diff | blob | history
test/unit/CMakeLists.txt diff | blob | history
test/unit/api/CMakeLists.txt diff | blob | history
test/unit/api/datatype_api_black.cpp [new file with mode: 0644] blob
test/unit/api/datatype_api_black.h [deleted file] blob | history
test/unit/base/CMakeLists.txt diff | blob | history
test/unit/context/CMakeLists.txt diff | blob | history
test/unit/expr/CMakeLists.txt diff | blob | history
test/unit/main/CMakeLists.txt diff | blob | history
test/unit/parser/CMakeLists.txt diff | blob | history
test/unit/preprocessing/CMakeLists.txt diff | blob | history
test/unit/printer/CMakeLists.txt diff | blob | history
test/unit/prop/CMakeLists.txt diff | blob | history
test/unit/test_api.h [new file with mode: 0644] blob
test/unit/theory/CMakeLists.txt diff | blob | history
test/unit/util/CMakeLists.txt diff | blob | history