diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-11-02 23:17:28 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-11-05 22:01:47 +0000 |
| commit | 02bd78ec39f04d7617e3b0f249e5d731b9a18666 (patch) | |
| tree | 5931813b2366ea1434c018a042f1d89529e4e113 | |
| parent | 0633bda59056fa82d506d1b08e3e93be7ab3cfb3 (diff) | |
| download | klee-02bd78ec39f04d7617e3b0f249e5d731b9a18666.tar.gz | |
Most libc++ tests require uclibc; add missing REQUIRES statements or remove dependency.
| -rw-r--r-- | test/CXX/symex/libc++/atexit.cpp | 1 | ||||
| -rw-r--r-- | test/CXX/symex/libc++/cout.cpp | 1 | ||||
| -rw-r--r-- | test/CXX/symex/libc++/cout_sym.cpp | 1 | ||||
| -rw-r--r-- | test/CXX/symex/libc++/dynamic_cast.cpp | 1 | ||||
| -rw-r--r-- | test/CXX/symex/libc++/vector.cpp | 1 |
5 files changed, 5 insertions, 0 deletions
diff --git a/test/CXX/symex/libc++/atexit.cpp b/test/CXX/symex/libc++/atexit.cpp index 79be6aa2..03b559ae 100644 --- a/test/CXX/symex/libc++/atexit.cpp +++ b/test/CXX/symex/libc++/atexit.cpp @@ -1,4 +1,5 @@ // REQUIRES: libcxx +// REQUIRES: uclibc // RUN: %clangxx %s -emit-llvm %O0opt -c -std=c++11 -I "%libcxx_include" -g -nostdinc++ -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error --libc=uclibc --libcxx %t1.bc | FileCheck %s diff --git a/test/CXX/symex/libc++/cout.cpp b/test/CXX/symex/libc++/cout.cpp index e8b6e52f..0f3c338a 100644 --- a/test/CXX/symex/libc++/cout.cpp +++ b/test/CXX/symex/libc++/cout.cpp @@ -1,4 +1,5 @@ // REQUIRES: libcxx +// REQUIRES: uclibc // RUN: %clangxx %s -emit-llvm %O0opt -c -std=c++11 -I "%libcxx_include" -g -nostdinc++ -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error --libc=uclibc --libcxx %t1.bc 2>&1 | FileCheck %s diff --git a/test/CXX/symex/libc++/cout_sym.cpp b/test/CXX/symex/libc++/cout_sym.cpp index 6c6f2789..8bf81122 100644 --- a/test/CXX/symex/libc++/cout_sym.cpp +++ b/test/CXX/symex/libc++/cout_sym.cpp @@ -1,4 +1,5 @@ // REQUIRES: libcxx +// REQUIRES: uclibc // RUN: %clangxx %s -emit-llvm %O0opt -c -std=c++11 -I "%libcxx_include" -g -nostdinc++ -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error --libc=uclibc --libcxx %t1.bc | FileCheck %s diff --git a/test/CXX/symex/libc++/dynamic_cast.cpp b/test/CXX/symex/libc++/dynamic_cast.cpp index e35e04d7..c2d8b528 100644 --- a/test/CXX/symex/libc++/dynamic_cast.cpp +++ b/test/CXX/symex/libc++/dynamic_cast.cpp @@ -1,4 +1,5 @@ // REQUIRES: libcxx +// REQUIRES: uclibc // RUN: %clangxx %s -emit-llvm %O0opt -c -std=c++11 -I "%libcxx_include" -g -nostdinc++ -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error --libc=uclibc --libcxx %t1.bc diff --git a/test/CXX/symex/libc++/vector.cpp b/test/CXX/symex/libc++/vector.cpp index 1be87f80..32afecd2 100644 --- a/test/CXX/symex/libc++/vector.cpp +++ b/test/CXX/symex/libc++/vector.cpp @@ -1,4 +1,5 @@ // REQUIRES: libcxx +// REQUIRES: uclibc // RUN: %clangxx %s -emit-llvm %O0opt -c -std=c++11 -I "%libcxx_include" -g -nostdinc++ -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error --libc=uclibc --libcxx %t1.bc 2>&1 | FileCheck %s |