From caf503da40a515e2239e925eebc8822cc77e0fae Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 14 Sep 2014 13:10:03 -0700 Subject: Use klee-libc for this test, as it runs when configured w/o uclibc. - If this is a problem for some reason, lets either fix the problem or move it into Runtime tests. --- test/CXX/StaticDestructor.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test') diff --git a/test/CXX/StaticDestructor.cpp b/test/CXX/StaticDestructor.cpp index 6e6f033d..adc449a5 100644 --- a/test/CXX/StaticDestructor.cpp +++ b/test/CXX/StaticDestructor.cpp @@ -2,7 +2,7 @@ // RUN: %llvmgxx %s -emit-llvm -g -O0 -c -o %t1.bc // RUN: rm -rf %t.klee-out -// RUN: %klee --output-dir=%t.klee-out --optimize=false --libc=uclibc --no-output %t1.bc 2> %t1.log +// RUN: %klee --output-dir=%t.klee-out --optimize=false --libc=klee --no-output %t1.bc 2> %t1.log // RUN: grep ":17: memory error" %t1.log #include -- cgit 1.4.1