From 50f435267cf3a63a55971bd56d1c34058103c37b Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Mon, 11 Mar 2019 17:26:20 +0000 Subject: Renamed --no-output to --write-no-tests and placed it in the test case category (with --write-cov, --write-cvcs etc.) --- test/CXX/StaticConstructor.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/CXX/StaticConstructor.cpp') diff --git a/test/CXX/StaticConstructor.cpp b/test/CXX/StaticConstructor.cpp index 0471b413..2b326983 100644 --- a/test/CXX/StaticConstructor.cpp +++ b/test/CXX/StaticConstructor.cpp @@ -1,6 +1,6 @@ // RUN: %clangxx %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out -// RUN: %klee --output-dir=%t.klee-out --libc=klee --no-output --exit-on-error %t1.bc +// RUN: %klee --output-dir=%t.klee-out --libc=klee --write-no-tests --exit-on-error %t1.bc #include -- cgit 1.4.1