[klee-dev] Get time where testcase was found

[Daniel Schwartz]

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 <
cornelius.aschermann at rub.de> 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
-------------- next part --------------
HTML attachment scrubbed and removed