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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
