From 6f02157445810c630a7ca5684ff62a67bf22b87c Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Mon, 15 Sep 2014 01:32:08 +0100 Subject: Remove --read-args command line option because this feature has been available in LLVM's command line parser for a while (response files). --- test/Coverage/ReadArgs.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Coverage/ReadArgs.c') diff --git a/test/Coverage/ReadArgs.c b/test/Coverage/ReadArgs.c index 1001dac1..8eae53a1 100644 --- a/test/Coverage/ReadArgs.c +++ b/test/Coverage/ReadArgs.c @@ -1,7 +1,7 @@ // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: echo " --output-dir=%t.klee-out " > %t1.args -// RUN: %klee --read-args %t1.args %t1.bc +// RUN: %klee @%t1.args %t1.bc // RUN: test -d %t.klee-out int main() { -- cgit 1.4.1