diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-12-01 16:30:33 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-01 16:30:33 -0800 |
| commit | a87df2bb60a8739d4eb24b60efca79f8d2b7d806 (patch) | |
| tree | e84ca95fec9a2eaf992ba7e6f8426f53a2b3bccc /test/unit/context | |
| parent | 798644e64f438f320577a444110744041e39d1ff (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.
Diffstat (limited to 'test/unit/context')
| -rw-r--r-- | test/unit/context/CMakeLists.txt | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/unit/context/CMakeLists.txt b/test/unit/context/CMakeLists.txt index 6752f0e78..51465c622 100644 --- a/test/unit/context/CMakeLists.txt +++ b/test/unit/context/CMakeLists.txt @@ -11,10 +11,10 @@ #-----------------------------------------------------------------------------# # Add unit tests -cvc4_add_unit_test_black(cdlist_black context) -cvc4_add_unit_test_black(cdmap_black context) -cvc4_add_unit_test_white(cdmap_white context) -cvc4_add_unit_test_black(cdo_black context) -cvc4_add_unit_test_black(context_black context) -cvc4_add_unit_test_black(context_mm_black context) -cvc4_add_unit_test_white(context_white context) +cvc4_add_cxx_unit_test_black(cdlist_black context) +cvc4_add_cxx_unit_test_black(cdmap_black context) +cvc4_add_cxx_unit_test_white(cdmap_white context) +cvc4_add_cxx_unit_test_black(cdo_black context) +cvc4_add_cxx_unit_test_black(context_black context) +cvc4_add_cxx_unit_test_black(context_mm_black context) +cvc4_add_cxx_unit_test_white(context_white context) |