diff options
Diffstat (limited to 'test/Feature/PreferCex.c')
| -rw-r--r-- | test/Feature/PreferCex.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Feature/PreferCex.c b/test/Feature/PreferCex.c index d73b6076..97ce5101 100644 --- a/test/Feature/PreferCex.c +++ b/test/Feature/PreferCex.c @@ -1,6 +1,6 @@ // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc // RUN: %klee --exit-on-error %t1.bc -// RUN: klee-bout-tool klee-last/test000001.bout | grep -F 'Hi\x00\x00' +// RUN: ktest-tool klee-last/test000001.ktest | grep -F 'Hi\x00\x00' #include <assert.h> #include <stdlib.h> |