diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | tools/ktest-gen/CMakeLists.txt (renamed from tools/gen-bout/CMakeLists.txt) | 8 | ||||
| -rw-r--r-- | tools/ktest-gen/ktest-gen.cpp (renamed from tools/gen-bout/gen-bout.cpp) | 2 |
3 files changed, 6 insertions, 6 deletions
diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt index a400569b..4e561c08 100644 --- a/tools/CMakeLists.txt +++ b/tools/CMakeLists.txt @@ -6,7 +6,7 @@ # License. See LICENSE.TXT for details. # #===------------------------------------------------------------------------===# -add_subdirectory(gen-bout) +add_subdirectory(ktest-gen) add_subdirectory(gen-random-bout) add_subdirectory(kleaver) add_subdirectory(klee) diff --git a/tools/gen-bout/CMakeLists.txt b/tools/ktest-gen/CMakeLists.txt index 07cfb3c7..084d551d 100644 --- a/tools/gen-bout/CMakeLists.txt +++ b/tools/ktest-gen/CMakeLists.txt @@ -6,12 +6,12 @@ # License. See LICENSE.TXT for details. # #===------------------------------------------------------------------------===# -add_executable(gen-bout - gen-bout.cpp +add_executable(ktest-gen + ktest-gen.cpp ) set(KLEE_LIBS kleeBasic) -target_link_libraries(gen-bout ${KLEE_LIBS}) +target_link_libraries(ktest-gen ${KLEE_LIBS}) -install(TARGETS gen-bout RUNTIME DESTINATION bin) +install(TARGETS ktest-gen RUNTIME DESTINATION bin) diff --git a/tools/gen-bout/gen-bout.cpp b/tools/ktest-gen/ktest-gen.cpp index f8fa5d4e..a9f4be7c 100644 --- a/tools/gen-bout/gen-bout.cpp +++ b/tools/ktest-gen/ktest-gen.cpp @@ -1,4 +1,4 @@ -//===-- gen-bout.cpp --------------------------------------------*- C++ -*-===// +//===-- ktest-gen.cpp -------------------------------------------*- C++ -*-===// // // The KLEE Symbolic Virtual Machine // |