diff options
-rw-r--r-- | test/CXX/ArrayNew.cpp | 2 | ||||
-rw-r--r-- | test/CXX/New.cpp | 2 | ||||
-rw-r--r-- | test/CXX/SimpleVirtual.cpp | 2 | ||||
-rw-r--r-- | test/CXX/StaticConstructor.cpp | 2 | ||||
-rw-r--r-- | test/CXX/StaticDestructor.cpp | 2 | ||||
-rw-r--r-- | test/CXX/Trivial.cpp | 2 | ||||
-rw-r--r-- | test/Dogfood/ImmutableSet.cpp | 2 | ||||
-rw-r--r-- | test/Feature/Optimize.c | 2 | ||||
-rw-r--r-- | test/Feature/Searchers.c | 2 |
9 files changed, 9 insertions, 9 deletions
diff --git a/test/CXX/ArrayNew.cpp b/test/CXX/ArrayNew.cpp index e6a41ddf..b564316d 100644 --- a/test/CXX/ArrayNew.cpp +++ b/test/CXX/ArrayNew.cpp @@ -1,4 +1,4 @@ -// RUN: %llvmgxx %s --emit-llvm -O0 -c -o %t1.bc +// RUN: %llvmgxx %s -emit-llvm -O0 -c -o %t1.bc // RUN: %klee --no-output --exit-on-error --no-externals %t1.bc #include <cassert> diff --git a/test/CXX/New.cpp b/test/CXX/New.cpp index 148dfed6..f7ecf3be 100644 --- a/test/CXX/New.cpp +++ b/test/CXX/New.cpp @@ -1,4 +1,4 @@ -// RUN: %llvmgxx %s --emit-llvm -O0 -c -o %t1.bc +// RUN: %llvmgxx %s -emit-llvm -O0 -c -o %t1.bc // RUN: %klee --no-output --exit-on-error --no-externals %t1.bc #include <cassert> diff --git a/test/CXX/SimpleVirtual.cpp b/test/CXX/SimpleVirtual.cpp index 9dc2a0ac..108722c6 100644 --- a/test/CXX/SimpleVirtual.cpp +++ b/test/CXX/SimpleVirtual.cpp @@ -1,4 +1,4 @@ -// RUN: %llvmgxx %s --emit-llvm -O0 -c -o %t1.bc +// RUN: %llvmgxx %s -emit-llvm -O0 -c -o %t1.bc // RUN: %klee --no-output --exit-on-error --no-externals %t1.bc #include <cassert> diff --git a/test/CXX/StaticConstructor.cpp b/test/CXX/StaticConstructor.cpp index d4992ffe..4974d59b 100644 --- a/test/CXX/StaticConstructor.cpp +++ b/test/CXX/StaticConstructor.cpp @@ -1,4 +1,4 @@ -// RUN: %llvmgxx %s --emit-llvm -O0 -c -o %t1.bc +// RUN: %llvmgxx %s -emit-llvm -O0 -c -o %t1.bc // RUN: %klee --libc=klee --no-output --exit-on-error %t1.bc #include <cassert> diff --git a/test/CXX/StaticDestructor.cpp b/test/CXX/StaticDestructor.cpp index 7a765a8f..68fb122e 100644 --- a/test/CXX/StaticDestructor.cpp +++ b/test/CXX/StaticDestructor.cpp @@ -1,6 +1,6 @@ // don't optimize this, llvm likes to turn the *p into unreachable -// RUN: %llvmgxx %s --emit-llvm -g -O0 -c -o %t1.bc +// RUN: %llvmgxx %s -emit-llvm -g -O0 -c -o %t1.bc // RUN: %klee --libc=klee --no-output %t1.bc 2> %t1.log // RUN: grep ":16: memory error" %t1.log diff --git a/test/CXX/Trivial.cpp b/test/CXX/Trivial.cpp index b50e82b2..6c05459d 100644 --- a/test/CXX/Trivial.cpp +++ b/test/CXX/Trivial.cpp @@ -1,4 +1,4 @@ -// RUN: %llvmgxx %s --emit-llvm -O0 -c -o %t1.bc +// RUN: %llvmgxx %s -emit-llvm -O0 -c -o %t1.bc // RUN: %klee --no-output --exit-on-error %t1.bc #include <cassert> diff --git a/test/Dogfood/ImmutableSet.cpp b/test/Dogfood/ImmutableSet.cpp index 18a70c20..bdb9f431 100644 --- a/test/Dogfood/ImmutableSet.cpp +++ b/test/Dogfood/ImmutableSet.cpp @@ -1,4 +1,4 @@ -// RUN: %llvmgxx -I../../../include -g -DMAX_ELEMENTS=4 -fno-exceptions --emit-llvm -c -o %t1.bc %s +// RUN: %llvmgxx -I../../../include -g -DMAX_ELEMENTS=4 -fno-exceptions -emit-llvm -c -o %t1.bc %s // RUN: %klee --libc=klee --max-forks=200 --no-output --exit-on-error --optimize --disable-inlining --use-non-uniform-random-search --use-cex-cache %t1.bc #include "klee/klee.h" diff --git a/test/Feature/Optimize.c b/test/Feature/Optimize.c index 3c9159c7..4789d089 100644 --- a/test/Feature/Optimize.c +++ b/test/Feature/Optimize.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s --emit-llvm -O0 -c -o %t2.bc +// RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t2.bc // RUN: rm -f %t2.log // RUN: %klee --stop-after-n-instructions=100 --optimize %t2.bc > %t3.log // RUN: echo "good" > %t3.good diff --git a/test/Feature/Searchers.c b/test/Feature/Searchers.c index 95ebddf2..d61037b9 100644 --- a/test/Feature/Searchers.c +++ b/test/Feature/Searchers.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s --emit-llvm -O0 -c -o %t2.bc +// RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t2.bc // RUN: %klee %t2.bc // RUN: %klee --use-random-search %t2.bc // RUN: %klee --use-non-uniform-random-search %t2.bc |