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<http://t1.minormatter.com/%7Eddunbar/klee-cov/index.html> > > Thanks. > > Suhabe > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20091011/b3a3bd9e/attachment.html
