diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-25 22:17:30 +0000 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-05-06 11:21:35 +0100 |
commit | 80d67650524c92a378227d0f842a9e9a17fee599 (patch) | |
tree | d5f9d49e6d16012ab596588565fbc9be6305119f /test | |
parent | c0d6062f3c9620b6a612938866cb24b17ec7daa9 (diff) | |
download | klee-80d67650524c92a378227d0f842a9e9a17fee599.tar.gz |
Updated tests to use ktest-gen instead of gen-bout
Diffstat (limited to 'test')
-rw-r--r-- | test/CMakeLists.txt | 2 | ||||
-rw-r--r-- | test/Replay/klee-replay/KTestGen.c (renamed from test/Replay/klee-replay/GenBout.c) | 2 | ||||
-rw-r--r-- | test/lit.cfg | 2 |
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( |