about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--tools/CMakeLists.txt2
-rw-r--r--tools/ktest-randgen/CMakeLists.txt (renamed from tools/gen-random-bout/CMakeLists.txt)8
-rw-r--r--tools/ktest-randgen/ktest-randgen.cpp (renamed from tools/gen-random-bout/gen-random-bout.cpp)4
3 files changed, 7 insertions, 7 deletions
diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index 4e561c08..b641885c 100644
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -7,7 +7,7 @@
 #
 #===------------------------------------------------------------------------===#
 add_subdirectory(ktest-gen)
-add_subdirectory(gen-random-bout)
+add_subdirectory(ktest-randgen)
 add_subdirectory(kleaver)
 add_subdirectory(klee)
 add_subdirectory(klee-replay)
diff --git a/tools/gen-random-bout/CMakeLists.txt b/tools/ktest-randgen/CMakeLists.txt
index c4596bc9..8b15c275 100644
--- a/tools/gen-random-bout/CMakeLists.txt
+++ b/tools/ktest-randgen/CMakeLists.txt
@@ -6,12 +6,12 @@
 # License. See LICENSE.TXT for details.
 #
 #===------------------------------------------------------------------------===#
-add_executable(gen-random-bout
-  gen-random-bout.cpp
+add_executable(ktest-randgen
+  ktest-randgen.cpp
 )
 
 set(KLEE_LIBS kleeBasic)
 
-target_link_libraries(gen-random-bout ${KLEE_LIBS})
+target_link_libraries(ktest-randgen ${KLEE_LIBS})
 
-install(TARGETS gen-random-bout RUNTIME DESTINATION bin)
+install(TARGETS ktest-randgen RUNTIME DESTINATION bin)
diff --git a/tools/gen-random-bout/gen-random-bout.cpp b/tools/ktest-randgen/ktest-randgen.cpp
index 5fb4fe27..04cf53e6 100644
--- a/tools/gen-random-bout/gen-random-bout.cpp
+++ b/tools/ktest-randgen/ktest-randgen.cpp
@@ -1,4 +1,4 @@
-//===-- gen-random-bout.cpp -------------------------------------*- C++ -*-===//
+//===-- ktest-randgen.cpp ---------------------------------------*- C++ -*-===//
 //
 //                     The KLEE Symbolic Virtual Machine
 //
@@ -94,7 +94,7 @@ static void push_range(KTest *b, const char *name, unsigned value) {
 }
 
 void create_stat(size_t size, struct stat *s) {
-  char filename_template[] = "/tmp/klee-gen-random-bout-XXXXXX";
+  char filename_template[] = "/tmp/ktest-randgen-XXXXXX";
   char *filename;
   int fd;
   unsigned char *buf;