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/Replay | |
| parent | c0d6062f3c9620b6a612938866cb24b17ec7daa9 (diff) | |
| download | klee-80d67650524c92a378227d0f842a9e9a17fee599.tar.gz | |
Updated tests to use ktest-gen instead of gen-bout
Diffstat (limited to 'test/Replay')
| -rw-r--r-- | test/Replay/klee-replay/KTestGen.c (renamed from test/Replay/klee-replay/GenBout.c) | 2 |
1 files changed, 1 insertions, 1 deletions
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 |