[klee-dev] klee watchdog timer

[Cristian Cadar]

Hi, have you tried using the --watchdog option?

Cristian

On 19/03/18 09:54, Cornelius Aschermann wrote:
> 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
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev