diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-09 17:22:07 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-09 17:22:07 -0700 |
| commit | f87f038c5f0821d0fefb01cea00bfdec6004da91 (patch) | |
| tree | d948178e1c0d2dc459a976f0d187d2d41a5437c0 /test/api | |
| parent | 550c49a7dd2b13ea29743458336f0c0a0fb6099a (diff) | |
Rename CVC4_ macros to CVC5_. (#6327)
Diffstat (limited to 'test/api')
| -rw-r--r-- | test/api/CMakeLists.txt | 6 | ||||
| -rw-r--r-- | test/api/issue4889.cpp | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/test/api/CMakeLists.txt b/test/api/CMakeLists.txt index 18c366a45..7df1342c3 100644 --- a/test/api/CMakeLists.txt +++ b/test/api/CMakeLists.txt @@ -24,14 +24,14 @@ add_custom_target(apitests COMMAND ctest --output-on-failure -L "api" -j${CTEST_NTHREADS} $$ARGS DEPENDS build-apitests) -set(CVC4_API_TEST_FLAGS - -D__BUILDING_CVC4_API_TEST -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS) +set(CVC5_API_TEST_FLAGS + -D__BUILDING_CVC5_API_TEST -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS) macro(cvc4_add_api_test name) set(test_bin_dir ${CMAKE_BINARY_DIR}/bin/test/api/) add_executable(${name} ${name}.cpp) target_link_libraries(${name} PUBLIC main-test) - target_compile_definitions(${name} PRIVATE ${CVC4_API_TEST_FLAGS}) + target_compile_definitions(${name} PRIVATE ${CVC5_API_TEST_FLAGS}) if(USE_CLN) target_link_libraries(${name} PRIVATE CLN) endif() diff --git a/test/api/issue4889.cpp b/test/api/issue4889.cpp index ed2340c18..8fef1cfca 100644 --- a/test/api/issue4889.cpp +++ b/test/api/issue4889.cpp @@ -18,7 +18,7 @@ using namespace cvc5::api; int main() { -#ifdef CVC4_USE_SYMFPU +#ifdef CVC5_USE_SYMFPU Solver slv; Sort sort_int = slv.getIntegerSort(); Sort sort_array = slv.mkArraySort(sort_int, sort_int); |