diff options
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 |