diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-01-18 11:02:52 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-18 11:02:52 +0000 |
| commit | b149dfa242753004d8fb00c4aa55e340d56c0d43 (patch) | |
| tree | b0a925e1de936f9b19369c18780a7492eb163f48 /tools | |
| parent | aedbca881945da47005835a405188041b40ae7cc (diff) | |
| parent | 1fce0acbf4498595e3901a6f7fdbe429587e3ef0 (diff) | |
| download | klee-b149dfa242753004d8fb00c4aa55e340d56c0d43.tar.gz | |
Merge pull request #546 from delcypher/cmake_rename_test_targets
[CMake] Rename "integrationtests" to "systemtests", removed some undocumented targets and other build changes
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee-stats/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | tools/ktest-tool/CMakeLists.txt | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/klee-stats/CMakeLists.txt b/tools/klee-stats/CMakeLists.txt index c742f430..e5f21162 100644 --- a/tools/klee-stats/CMakeLists.txt +++ b/tools/klee-stats/CMakeLists.txt @@ -9,5 +9,5 @@ install(PROGRAMS klee-stats DESTINATION bin) # Copy into the build directory's binary directory -# so integration tests can find it +# so system tests can find it configure_file(klee-stats "${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/klee-stats" COPYONLY) diff --git a/tools/ktest-tool/CMakeLists.txt b/tools/ktest-tool/CMakeLists.txt index 76e31ac0..dbb00e91 100644 --- a/tools/ktest-tool/CMakeLists.txt +++ b/tools/ktest-tool/CMakeLists.txt @@ -9,5 +9,5 @@ install(PROGRAMS ktest-tool DESTINATION bin) # Copy into the build directory's binary directory -# so integration tests can find it +# so system tests can find it configure_file(ktest-tool "${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/ktest-tool" COPYONLY) |