about summary refs log tree commit diff homepage
path: root/test/CXX/symex/basic_c++
diff options
context:
space:
mode:
Diffstat (limited to 'test/CXX/symex/basic_c++')
-rw-r--r--test/CXX/symex/basic_c++/templates.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/CXX/symex/basic_c++/templates.cpp b/test/CXX/symex/basic_c++/templates.cpp
index c5abb983..b248af42 100644
--- a/test/CXX/symex/basic_c++/templates.cpp
+++ b/test/CXX/symex/basic_c++/templates.cpp
@@ -1,7 +1,7 @@
 // REQUIRES: uclibc
 // RUN: %clangxx %s -emit-llvm %O0opt -c -o %t.bc
 // RUN: rm -rf %t.klee-out
-// RUN: %klee --output-dir=%t.klee-out --libc=uclibc %t.bc 2>&1
+// RUN: %klee --output-dir=%t.klee-out --exit-on-error --libc=uclibc %t.bc 2>&1
 
 #include <cassert>