[klee-dev] Klee terminating oddly

[Frank Busse]

Hi,


On Tue, 31 May 2022 13:44:49 -0700
Shaheen Cullen-Baratloo <shaheen at 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