diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-10-24 14:43:50 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-10-24 14:43:50 +0000 |
| commit | 30db83cfba2070f0693eef39c16b3c52432a22bb (patch) | |
| tree | 53d7fdca73b35a55260cf3e898b7de4f18b6c0f2 /test | |
| parent | 2eec409061b6f3f107ba3679e9d4745e64451952 (diff) | |
| download | klee-30db83cfba2070f0693eef39c16b3c52432a22bb.tar.gz | |
Patch by Dan Liew which improves the logging options: "Removed
-use-query-pc-log and -use-stp-query-pc-log and replaced with better command line option -use-query-log=option. Multiple comma seperated options can be specified after -use-query-log=. In addition queries can now be logged in SMT-LIBv2 format as well as KQuery format. The names of logging files has changed and also KLEE now informs users which files are being written to. Because of the changes the test/Feature/ExprLogging.c test broke so it was necessary to fix it." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166565 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Feature/ExprLogging.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Feature/ExprLogging.c b/test/Feature/ExprLogging.c index 2329279d..6a996d38 100644 --- a/test/Feature/ExprLogging.c +++ b/test/Feature/ExprLogging.c @@ -1,6 +1,6 @@ // RUN: %llvmgcc %s -emit-llvm -g -O0 -c -o %t1.bc -// RUN: %klee --use-query-pc-log --write-pcs --write-cvcs %t1.bc 2> %t2.log -// RUN: %kleaver -print-ast klee-last/queries.pc > %t3.log +// RUN: %klee --use-query-log=all:pc --write-pcs --write-cvcs %t1.bc 2> %t2.log +// RUN: %kleaver -print-ast klee-last/all-queries.pc > %t3.log // RUN: %kleaver -print-ast %t3.log > %t4.log // RUN: diff %t3.log %t4.log |