Hi Cornelius, I believe that KLEE writes a .ktest file indicating a found test case as soon as the test case is found. Looking back at my KLEE runs, they have timestamps that span my KLEE runs.
Best, Daniel On Sat, Mar 17, 2018 at 8:14 AM, Cornelius Aschermann < [email protected]> wrote: > 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 > >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
