blob: 5487a2fcf923e4acd01212f1672ea2c32bc37a9b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
if(Boost_FOUND)
cvc4_add_example(sets2arrays
"sets_translate.cpp" "sets-translate"
# argument to binary (for testing)
${CMAKE_CURRENT_SOURCE_DIR}/sets-translate-example-input.smt2)
cvc4_add_example(sets2axioms
"sets_translate.cpp" "sets-translate"
# argument to binary (for testing)
${CMAKE_CURRENT_SOURCE_DIR}/sets-translate-example-input.smt2)
target_compile_definitions(sets2axioms PRIVATE -DENABLE_AXIOMS)
endif()
|
