From 9b5e99905e6732d64522d0efc212f3f1ce290ccc Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 12 Sep 2012 14:37:39 +0000 Subject: Restructured the command-line options for setting the search heuristics in KLEE. The new options are documented at http://klee.llvm.org/klee-options.html. Cleaned a bit the code in UserSearcher.cpp, and fixed some test cases to use the new options. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@163711 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Feature/CopyOnWrite.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Feature/CopyOnWrite.c') diff --git a/test/Feature/CopyOnWrite.c b/test/Feature/CopyOnWrite.c index ee3ea15e..ce77c802 100644 --- a/test/Feature/CopyOnWrite.c +++ b/test/Feature/CopyOnWrite.c @@ -1,5 +1,5 @@ // RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc -// RUN: %klee --use-random-search --exit-on-error %t1.bc +// RUN: %klee --search=random-state --exit-on-error %t1.bc #include -- cgit 1.4.1