Hi,I want to plot the coverage over time, using my own external coverage measurement tool. Is there any way to accomplish this easily? One solution would be to extract the time when a test case was found initially, maybe even just force klee to write test cases whenever they are found so that I can use the file system timestamps?
cheers, Cornelius
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
