diff options
Diffstat (limited to 'test/Replay')
10 files changed, 10 insertions, 10 deletions
diff --git a/test/Replay/libkleeruntest/replay_invalid_klee_assume.c b/test/Replay/libkleeruntest/replay_invalid_klee_assume.c index 10da5615..2257d31d 100644 --- a/test/Replay/libkleeruntest/replay_invalid_klee_assume.c +++ b/test/Replay/libkleeruntest/replay_invalid_klee_assume.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -DASSUME_VALUE=1 %s -emit-llvm -g -O0 -c -o %t.bc +// RUN: %llvmgcc -DASSUME_VALUE=1 %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --search=dfs %t.bc // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Replay/libkleeruntest/replay_invalid_klee_choose.c b/test/Replay/libkleeruntest/replay_invalid_klee_choose.c index c64f913d..4cc36765 100644 --- a/test/Replay/libkleeruntest/replay_invalid_klee_choose.c +++ b/test/Replay/libkleeruntest/replay_invalid_klee_choose.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -DBOUND_VALUE=32 -DFORCE_VALUE=20 %s -emit-llvm -g -O0 -c -o %t.bc +// RUN: %llvmgcc -DBOUND_VALUE=32 -DFORCE_VALUE=20 %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --search=dfs %t.bc // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Replay/libkleeruntest/replay_invalid_klee_range.c b/test/Replay/libkleeruntest/replay_invalid_klee_range.c index 6542199e..7ae34899 100644 --- a/test/Replay/libkleeruntest/replay_invalid_klee_range.c +++ b/test/Replay/libkleeruntest/replay_invalid_klee_range.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -DBOUND_VALUE=32 -DFORCE_VALUE=20 %s -emit-llvm -g -O0 -c -o %t.bc +// RUN: %llvmgcc -DBOUND_VALUE=32 -DFORCE_VALUE=20 %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --libc=klee --search=dfs %t.bc // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Replay/libkleeruntest/replay_invalid_num_objects.c b/test/Replay/libkleeruntest/replay_invalid_num_objects.c index 39b389df..43883067 100644 --- a/test/Replay/libkleeruntest/replay_invalid_num_objects.c +++ b/test/Replay/libkleeruntest/replay_invalid_num_objects.c @@ -1,5 +1,5 @@ // Compile program that only makes one klee_make_symbolic() call -// RUN: %llvmgcc %s -emit-llvm -g -O0 -c -o %t.bc +// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --search=dfs %t.bc // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Replay/libkleeruntest/replay_invalid_object_names.c b/test/Replay/libkleeruntest/replay_invalid_object_names.c index 0285024c..67383a36 100644 --- a/test/Replay/libkleeruntest/replay_invalid_object_names.c +++ b/test/Replay/libkleeruntest/replay_invalid_object_names.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -DOBJ_NAME=simple_name %s -emit-llvm -g -O0 -c -o %t.bc +// RUN: %llvmgcc -DOBJ_NAME=simple_name %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --search=dfs %t.bc // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Replay/libkleeruntest/replay_invalid_object_size.c b/test/Replay/libkleeruntest/replay_invalid_object_size.c index 504a3bd0..7619cd62 100644 --- a/test/Replay/libkleeruntest/replay_invalid_object_size.c +++ b/test/Replay/libkleeruntest/replay_invalid_object_size.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc -DINT_TYPE=uint8_t %s -emit-llvm -g -O0 -c -o %t.bc +// RUN: %llvmgcc -DINT_TYPE=uint8_t %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --search=dfs %t.bc // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Replay/libkleeruntest/replay_klee_prefer_cex.c b/test/Replay/libkleeruntest/replay_klee_prefer_cex.c index df441ea8..852554b0 100644 --- a/test/Replay/libkleeruntest/replay_klee_prefer_cex.c +++ b/test/Replay/libkleeruntest/replay_klee_prefer_cex.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -O0 -c -o %t.bc +// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t.bc diff --git a/test/Replay/libkleeruntest/replay_posix_runtime.c b/test/Replay/libkleeruntest/replay_posix_runtime.c index ac56179b..5956c918 100644 --- a/test/Replay/libkleeruntest/replay_posix_runtime.c +++ b/test/Replay/libkleeruntest/replay_posix_runtime.c @@ -1,6 +1,6 @@ // REQUIRES: posix-runtime // FIXME: We need to fix a bug in libkleeRuntest -// RUN: %llvmgcc %s -emit-llvm -g -O0 -c -o %t.bc +// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --posix-runtime --search=dfs %t.bc // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Replay/libkleeruntest/replay_simple.c b/test/Replay/libkleeruntest/replay_simple.c index 77e2f5d2..8155060d 100644 --- a/test/Replay/libkleeruntest/replay_simple.c +++ b/test/Replay/libkleeruntest/replay_simple.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -O0 -c -o %t.bc +// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --search=dfs %t.bc // RUN: test -f %t.klee-out/test000001.ktest diff --git a/test/Replay/libkleeruntest/replay_two_objects.c b/test/Replay/libkleeruntest/replay_two_objects.c index 7cbfe306..a8f1b87b 100644 --- a/test/Replay/libkleeruntest/replay_two_objects.c +++ b/test/Replay/libkleeruntest/replay_two_objects.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -g -O0 -c -o %t.bc +// RUN: %llvmgcc %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --search=dfs %t.bc 2>&1 | FileCheck %s // RUN: test -f %t.klee-out/test000001.ktest |