From 02bd78ec39f04d7617e3b0f249e5d731b9a18666 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Sat, 2 Nov 2019 23:17:28 +0000 Subject: Most libc++ tests require uclibc; add missing REQUIRES statements or remove dependency. --- test/CXX/symex/libc++/dynamic_cast.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'test/CXX/symex/libc++/dynamic_cast.cpp') 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 -- cgit 1.4.1