Hi,
On Tue, 31 May 2022 13:44:49 -0700 Shaheen Cullen-Baratloo <shah...@gmail.com> wrote: > and running klee with > > klee --max-time=1min --watchdog binmult.bc > > > On a computer running Ubuntu 22.04, running this occasionally works > properly but mostly gives me a message about solver failure, and then > trying to check the output gives incomplete results (there's no > number for paths covered, for example): Looks like KLEE is stuck in the solver when the watchdog kills it. You can try running it without watchdog and specifying a threshold for the solver invocations, e.g.: klee --max-time=1min --max-solver-time=30s run.bc Kind regards, Frank _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
