: [klee-dev] klee replay and coverage information
Hi Xiao,
1. In the tutorials, only klee_make_symbolic_name and klee_make_symbolic
are used, where can I find the other methods such as klee_int you
mentioned? Any documentation on how to use these methods?
You can find the entire list
information.
Best,
Cristian
Thanks,
Xiao
*Wujie Zheng wjzheng at cse.cuhk.edu.hk*
09/27/2010 01:12 PM
To
Xiao Qu/USABB/ABB at ABB
cc
klee-dev at keeda.stanford.edu
Subject
Re: [klee-dev] klee replay and coverage information
Hi Xiao
1
-dev at keeda.stanford.edu
Subject
Re: [klee-dev] klee replay and coverage information
Hi Xiao
1. If you use only symbolic arguments, use klee-replay ./a.out
klee-last/*.ktest; (a.out is the program under test compiled normally)
If you use klee_int or other methods, use KTEST_FILE=xxx
