[klee-dev] Timed-out solver queries

[Cristian Cadar]

Hi Hooman,

How do you know it is not working?  Are you sure there are queries that 
time out?

Best,
Cristian

On 14/04/2020 08:39, Hooman wrote:
> Dear all,
> 
> I have two questions and I will appreciate any help.
> 
> 1- I am wondering how is it possible to find out the percentage of 
> timed-out queries out of all queries sent to solver? I am aware of the 
> -log-timed-out-queries option. but apparently it is not working. because 
> it is by default enabled but in a long klee execution (2 days) I don't 
> see any logged timed-out queries. I also don't know where to look for it 
> :) Moreover, I tried to combine -use-query-log=solver:smt2 
> -min-query-time-to-log=20 --max-solver-time=20 options together to kind 
> of trying to log queries which took more than 20 seconds but 
> solver-queries.smt2 file is empty after a long run.
> 
> 
> 2- How is it possible to associate a timed-out query with certain part 
> of the code. So to understand what parts klee was not able to cover.
> 
> 
> Thank you very much.
> 
> Kind regards,
> 
> Hooman
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev