Hi, I have some questions on replaying test cases and collecting coverage information.
1. In Tutorial One and Three, there are two different methods to replay test cases. One is build with "libkleeRuntest library" while the other one is use "klee-replay" directly. I guess klee-replay only applies when the symbolic input is the "direct" input parameters for the main function? Plus, I didn't find libkleeRuntest.dylib in Release/lib ? 2. In order to collect coverage information, do I have to use gcov? Can we just get the similar information from "run.stats " ? Thanks, Xiao -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100926/ec6d8afe/attachment.html
