diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-25 22:24:05 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-05-06 11:21:35 +0100 |
| commit | d704b59fa0082d1783dd4c921d87cddad6620d78 (patch) | |
| tree | 07c078af4066b69f28ab2f5dba9a5a398c48cdf1 /tools | |
| parent | 80d67650524c92a378227d0f842a9e9a17fee599 (diff) | |
| download | klee-d704b59fa0082d1783dd4c921d87cddad6620d78.tar.gz | |
Renamed gen-random-bout to ktest-randgen
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/CMakeLists.txt | 2 | ||||
| -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; |