diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-07-25 15:29:48 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-07-30 12:36:41 +0100 |
| commit | e0103f5c669960bca6bfefbb254802ba57442900 (patch) | |
| tree | 17469e81e2ab46123acd40a8af40d5b770cc3c3a | |
| parent | b28775a70d98cd93efd45e865514e54b7d52acba (diff) | |
| download | klee-e0103f5c669960bca6bfefbb254802ba57442900.tar.gz | |
Add missing dependencies for `check` target
Build `gen-bout` and `gen-random-bout` before running tests
| -rw-r--r-- | test/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 0e4ef6f3..8b6703d4 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -129,7 +129,7 @@ configure_file(lit.site.cfg.in add_custom_target(systemtests COMMAND "${LIT_TOOL}" ${LIT_ARGS} "${CMAKE_CURRENT_BINARY_DIR}" - DEPENDS klee kleaver klee-replay kleeRuntest + DEPENDS klee kleaver klee-replay kleeRuntest gen-bout gen-random-bout COMMENT "Running system tests" ${ADD_CUSTOM_COMMAND_USES_TERMINAL_ARG} ) |