about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2014-09-14 13:10:03 -0700
committerDaniel Dunbar <daniel@zuster.org>2014-09-14 13:22:29 -0700
commitcaf503da40a515e2239e925eebc8822cc77e0fae (patch)
tree87db6acaa5816fd693005e8ad6edcfe7bdccf97b
parentd283bdaaa38b36190139b20861dc60190ffc8ae1 (diff)
downloadklee-caf503da40a515e2239e925eebc8822cc77e0fae.tar.gz
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.
-rw-r--r--test/CXX/StaticDestructor.cpp2
1 files changed, 1 insertions, 1 deletions
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 <cassert>