test/regress/regress1/CMakeLists.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14

add_subdirectory(aufbv)
add_subdirectory(auflia)
add_subdirectory(bv)
add_subdirectory(datatypes)
add_subdirectory(decision)
add_subdirectory(fmf)
add_subdirectory(lemmas)
add_subdirectory(nl)
add_subdirectory(quantifiers)
add_subdirectory(rewriterules)
add_subdirectory(sep)
add_subdirectory(sets)
add_subdirectory(strings)
add_subdirectory(sygus)