about summary refs log tree commit diff homepage
path: root/test
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2022-03-25 22:17:30 +0000
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2022-05-06 11:21:35 +0100
commit80d67650524c92a378227d0f842a9e9a17fee599 (patch)
treed5f9d49e6d16012ab596588565fbc9be6305119f /test
parentc0d6062f3c9620b6a612938866cb24b17ec7daa9 (diff)
downloadklee-80d67650524c92a378227d0f842a9e9a17fee599.tar.gz
Updated tests to use ktest-gen instead of gen-bout
Diffstat (limited to 'test')
-rw-r--r--test/CMakeLists.txt2
-rw-r--r--test/Replay/klee-replay/KTestGen.c (renamed from test/Replay/klee-replay/GenBout.c)2
-rw-r--r--test/lit.cfg2
3 files changed, 3 insertions, 3 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
index 16d20e1c..42b28a7c 100644
--- a/test/CMakeLists.txt
+++ b/test/CMakeLists.txt
@@ -151,7 +151,7 @@ file(GENERATE
 
 add_custom_target(systemtests
   COMMAND "${LIT_TOOL}" ${LIT_ARGS} "${CMAKE_CURRENT_BINARY_DIR}"
-  DEPENDS klee kleaver klee-replay kleeRuntest gen-bout gen-random-bout
+  DEPENDS klee kleaver klee-replay kleeRuntest ktest-gen gen-random-bout
   COMMENT "Running system tests"
   USES_TERMINAL
 )
diff --git a/test/Replay/klee-replay/GenBout.c b/test/Replay/klee-replay/KTestGen.c
index 1f60ed0c..de031501 100644
--- a/test/Replay/klee-replay/GenBout.c
+++ b/test/Replay/klee-replay/KTestGen.c
@@ -5,7 +5,7 @@
 // RUN: echo -n aaaa > %t.out/aaaa.txt
 // RUN: echo -n bbbb > %t.out/bbbb.txt
 // RUN: echo -n cccc > %t.out/cccc.txt
-// RUN: %gen-bout -o -p -q file1 --bout-file %t.bout --sym-stdin %t.out/aaaa.txt --sym-file %t.out/bbbb.txt --sym-stdout %t.out/cccc.txt
+// RUN: %ktest-gen -o -p -q file1 --bout-file %t.bout --sym-stdin %t.out/aaaa.txt --sym-file %t.out/bbbb.txt --sym-stdout %t.out/cccc.txt
 // RUN: %cc %s -O0 -o %t
 // RUN: %klee-replay %t %t.bout 2> %t.out/out.txt
 // RUN: FileCheck --input-file=%t.out/out.txt %s
diff --git a/test/lit.cfg b/test/lit.cfg
index 0d7aa1ed..c44575c0 100644
--- a/test/lit.cfg
+++ b/test/lit.cfg
@@ -136,7 +136,7 @@ subs = [ ('%kleaver', 'kleaver', kleaver_extra_params),
          ('%klee','klee', klee_extra_params),
          ('%ktest-tool', 'ktest-tool', ''),
          ('%gen-random-bout', 'gen-random-bout', ''),
-         ('%gen-bout', 'gen-bout', '')
+         ('%ktest-gen', 'ktest-gen', '')
 ]
 for s,basename,extra_args in subs:
   config.substitutions.append(