[klee-dev] klee and zcov/lcov

[Suhabe Bugrara]

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