[klee-dev] How to use the max-time flag

[Frank Busse]

Hi,


On Fri, 22 May 2020 14:47:28 -0700
Shaheen Cullen-Baratloo <shaheen at gmail.com> wrote:

> When I run this command, it takes around 3 minutes, despite the
> max-time being 10 seconds:

How are you measuring the time? The klee process itself may take longer
than 10s. Initially it prepares and optimises the module and at the end
it writes test cases. Does klee-stats [1] report 3min?


Kind regards,

Frank


[1] https://klee.github.io/docs/tools/#klee-stats