diff options
author | Frank Busse <bb0xfb@gmail.com> | 2019-03-07 13:06:27 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-07 16:57:42 +0000 |
commit | b4d8fe0301b82e8abff0336bf6d1347dff11a853 (patch) | |
tree | 42d4d935c4aa63ceb618cbfcd6aad9bcffe14201 /test/CXX | |
parent | 77c1bfbb3b4d88dfcf92b77791fe170899d84b85 (diff) | |
download | klee-b4d8fe0301b82e8abff0336bf6d1347dff11a853.tar.gz |
tests: rename xxclang to clangxx
Diffstat (limited to 'test/CXX')
-rw-r--r-- | test/CXX/ArrayNew.cpp | 2 | ||||
-rw-r--r-- | test/CXX/LandingPad.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 |
7 files changed, 7 insertions, 7 deletions
diff --git a/test/CXX/ArrayNew.cpp b/test/CXX/ArrayNew.cpp index da89f812..8f1a983f 100644 --- a/test/CXX/ArrayNew.cpp +++ b/test/CXX/ArrayNew.cpp @@ -1,4 +1,4 @@ -// RUN: %xxclang %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clangxx %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --no-output --exit-on-error --external-calls=none %t1.bc diff --git a/test/CXX/LandingPad.cpp b/test/CXX/LandingPad.cpp index 3abdfb0f..66fd547c 100644 --- a/test/CXX/LandingPad.cpp +++ b/test/CXX/LandingPad.cpp @@ -1,4 +1,4 @@ -// RUN: %xxclang %s -emit-llvm -c -o %t1.bc +// RUN: %clangxx %s -emit-llvm -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: klee --output-dir=%t.klee-out %t1.bc 2>&1 | FileCheck %s diff --git a/test/CXX/New.cpp b/test/CXX/New.cpp index edde0f0d..8e9bd10b 100644 --- a/test/CXX/New.cpp +++ b/test/CXX/New.cpp @@ -1,4 +1,4 @@ -// RUN: %xxclang %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clangxx %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --no-output --exit-on-error --external-calls=none %t1.bc diff --git a/test/CXX/SimpleVirtual.cpp b/test/CXX/SimpleVirtual.cpp index 588367e9..8f6e838a 100644 --- a/test/CXX/SimpleVirtual.cpp +++ b/test/CXX/SimpleVirtual.cpp @@ -1,4 +1,4 @@ -// RUN: %xxclang %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clangxx %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --no-output --exit-on-error --external-calls=none %t1.bc diff --git a/test/CXX/StaticConstructor.cpp b/test/CXX/StaticConstructor.cpp index 23a13eb5..0471b413 100644 --- a/test/CXX/StaticConstructor.cpp +++ b/test/CXX/StaticConstructor.cpp @@ -1,4 +1,4 @@ -// RUN: %xxclang %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clangxx %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --libc=klee --no-output --exit-on-error %t1.bc diff --git a/test/CXX/StaticDestructor.cpp b/test/CXX/StaticDestructor.cpp index 4ea857c1..f2400029 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: %xxclang %s -emit-llvm -g %O0opt -c -o %t1.bc +// RUN: %clangxx %s -emit-llvm -g %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --optimize=false --libc=klee --no-output %t1.bc 2> %t1.log // RUN: FileCheck --input-file %t1.log %s diff --git a/test/CXX/Trivial.cpp b/test/CXX/Trivial.cpp index b2f5a480..519bd23a 100644 --- a/test/CXX/Trivial.cpp +++ b/test/CXX/Trivial.cpp @@ -1,4 +1,4 @@ -// RUN: %xxclang %s -emit-llvm %O0opt -c -o %t1.bc +// RUN: %clangxx %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --no-output --exit-on-error %t1.bc |