blob: b719ac2a46f634a4cc19d58babbedf2688ebe307 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
set(EXAMPLES_NRA_TRANSLATE_BIN_DIR ${EXAMPLES_BIN_DIR}/nra-translate)
set(CVC4_EXAMPLES_NRA_TRANSLATE
normalize
smt2info
smt2todreal
smt2toisat
smt2tomathematica
smt2toqepcad
smt2toredlog
)
set(EXAMPLES_NRA_TRANSLATE_LINK_LIBS cvc4 cvc4parser)
foreach(example ${CVC4_EXAMPLES_NRA_TRANSLATE})
cvc4_add_example(${example}
"" "${EXAMPLES_NRA_TRANSLATE_LINK_LIBS}" "nra-translate"
# arguments to binary (for testing)
# input file is required by all tests
${CMAKE_CURRENT_SOURCE_DIR}/nra-translate-example-input.smt2
# This is a dummy argument for smt2toredlog (argument is only printed, can
# be anything for testing purposes). We pass this to all examples since the
# other examples ignore additional arguments.
"foo")
endforeach()
|
