Hi,
On Fri, 22 May 2020 14:47:28 -0700 Shaheen Cullen-Baratloo <[email protected]> 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
