[klee-dev] Get time where testcase was found

[Cornelius Aschermann]

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
-------------- next part --------------
HTML attachment scrubbed and removed