[klee-dev] klee watchdog timer

[Cornelius Aschermann]

Hey,
I try to run klee for 10h on binutils with only a symbolic file input 
(command line arguments are fixed by me).
However it seems that the watchdog is not working correctly. In some 
instances klee is terminated correctly but other instances just keep 
running until I manually kill them (18h+). Unfortunately, since klee 
only writes most testcases upon exit this means that I loose most of the 
testcases.

Two questions: a) is there something I can do such that klee behaves as 
expected? Or at least such that I don't lose the testcases when I kill 
klee manually?

Am I missing anything obvious that would increase test coverage?

I use the latest docker container and the following command line:

klee --libc=uclibc --posix-runtime -max-memory=2000 
-only-output-states-covering-new 
-output-dir=/targets/results/klee_run_$EVALTARGETNAME 
-max-time=$EVALTIME /targets/$EVALTARGET

$EVALTIME is 36000 (10h in sekunden)

$EVALTARGET is something like: "ar.bc -t A -sym-files 1 1024"

Cheers, Cornelius