Hi Suhabe, This is what the klee-replay tool is for. See: http://klee.llvm.org/TestingCoreutils.html for a tutorial that covers all the necessary steps.
- Daniel On Mon, Oct 12, 2009 at 3:41 AM, Suhabe Bugrara <suhabe at stanford.edu> wrote: > Thanks for the reply. > > It looks like using these tools requires running the test cases > generated by KLEE natively on the original program instrumented using > gcov. Is there an automatic way to do this? If the model just dealt > with command line arguments, it may have been straightforward to > convert the test case files into command line arguments, but since the > model includes other things like the file system, I can't figure out > how the test cases could be fed back into the program natively. > > Suhabe > > On Sun, Oct 11, 2009 at 9:37 AM, Philip Guo <pg at cs.stanford.edu> wrote: >> http://keeda.stanford.edu/wiki/Klee >> >> scroll down to the tutorial section on zcov, and try zcov-scan and >> zcov-genhtml >> >> On Sun, Oct 11, 2009 at 4:53 AM, Suhabe Bugrara <suhabe at stanford.edu> >> wrote: >>> >>> Hello, >>> >>> How can turn the .cov files generated by KLEE using the --write-cov >>> switch into zcov/lcov html files like the ones generated for KLEE >>> itself at the link below? >>> >>> http://t1.minormatter.com/~ddunbar/klee-cov/index.html >>> >>> Thanks. >>> >>> Suhabe >>> _______________________________________________ >>> klee-dev mailing list >>> klee-dev at keeda.stanford.edu >>> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >> >> > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
