test: Exclude a few problematic libc++ testcases from the 'klee' flavour.

6aa0842c · Petr Rockai · a2dac065 · 6aa0842c · 6aa0842c · 6aa0842c
Commit 6aa0842c authored 5 years ago by Petr Rockai
--- a/test/lib/testsuite
+++ b/test/lib/testsuite
@@ -11,7 +11,7 @@ test -n "$TODO" && todo= && extra="--tags todo"
 klee=klee
 klee=$klee:lang-c,!threads,!setjmp,!const,!lifetime
-klee=$klee:libcxx,!threads,!exception,!sigaction
+klee=$klee:libcxx,!threads,!exception,!sigaction,!kleetodo
 klee=$klee:fs,!threads,!c++,!capture
 klee=$klee:sock,!threads
 klee=$klee:libc,!divcc

--- a/test/libcxx/containers/lt.pass.cpp
+++ b/test/libcxx/containers/lt.pass.cpp
-/* TAGS: c++ fin */
+/* TAGS: c++ fin kleetodo */
 /* CC_OPTS: -std=c++2a */
 /* VERIFY_OPTS: -o nofail:malloc */
 //===----------------------------------------------------------------------===//

--- a/test/libcxx/iterators/advance.debug1.pass.cpp
+++ b/test/libcxx/iterators/advance.debug1.pass.cpp
-/* TAGS: c++ fin */
+/* TAGS: c++ fin kleetodo */
 /* CC_OPTS: -std=c++2a */
 /* VERIFY_OPTS: -o nofail:malloc */
 //===----------------------------------------------------------------------===//

--- a/test/libcxx/iterators/next.debug1.pass.cpp
+++ b/test/libcxx/iterators/next.debug1.pass.cpp
-/* TAGS: c++ fin */
+/* TAGS: c++ fin kleetodo */
 /* CC_OPTS: -std=c++2a */
 /* VERIFY_OPTS: -o nofail:malloc */
 //===----------------------------------------------------------------------===//

--- a/test/libcxx/iterators/prev.debug1.pass.cpp
+++ b/test/libcxx/iterators/prev.debug1.pass.cpp
-/* TAGS: c++ fin */
+/* TAGS: c++ fin kleetodo */
 /* CC_OPTS: -std=c++2a */
 /* VERIFY_OPTS: -o nofail:malloc */
 //===----------------------------------------------------------------------===//