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/prop | |
| 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/prop')
| -rw-r--r-- | test/unit/prop/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/prop/CMakeLists.txt b/test/unit/prop/CMakeLists.txt index bed0575c6..f866e5ffa 100644 --- a/test/unit/prop/CMakeLists.txt +++ b/test/unit/prop/CMakeLists.txt @@ -11,4 +11,4 @@ #-----------------------------------------------------------------------------# # Add unit tests -cvc4_add_unit_test_white(cnf_stream_white prop) +cvc4_add_cxx_unit_test_white(cnf_stream_white prop) |