Add skip predicate to node traversal. (#4222)
[cvc5.git] / test / CMakeLists.txt
1 #-----------------------------------------------------------------------------#
2 # Add target 'check', builds and runs
3 # > unit tests
4 # > regression tests of levels 0 and 1
5 # > system tests
6
7 add_custom_target(build-tests)
8
9 # Note: Do not add custom targets for running tests (regress, systemtests,
10 # units) as dependencies to other run targets. This will result in executing
11 # tests multiple times. For example, if check would depend on regress it would
12 # first run the command of the regress target (i.e., run all regression tests)
13 # and afterwards run the command specified for the check target.
14 # Dependencies of check are added in the corresponding subdirectories.
15 add_custom_target(check
16 COMMAND
17 ctest --output-on-failure -LE "regress[3-4]" -j${CTEST_NTHREADS} $$ARGS
18 DEPENDS
19 build-tests)
20
21 #-----------------------------------------------------------------------------#
22 # Add subdirectories
23
24 add_subdirectory(regress)
25 add_subdirectory(system EXCLUDE_FROM_ALL)
26
27 if(ENABLE_UNIT_TESTING)
28 add_subdirectory(unit EXCLUDE_FROM_ALL)
29
30 if(BUILD_SWIG_BINDINGS_JAVA)
31 add_subdirectory(java)
32 endif()
33 endif()