From d7e82a2d4e0f588faebfb6e44d01e685587f6872 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sat, 17 Dec 2016 13:44:03 +0000 Subject: [CMake] Rename "integrationtests" to "systemtests". This was a proposal from #500. @andreamattavelli pointed out that the lit tests are really system tests rather than integration tests so this commit fixes the inappropriate naming that I chose. --- tools/klee-stats/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/klee-stats') 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) -- cgit 1.4.1