Hi,
On Tue, 14 Apr 2020 16:18:59 +0200
Hooman wrote:
> As you rightfully mentioned I am not sure that any of the queries
> time-out. However, I am also not sure if I should use all
> -use-query-log=solver:smt2 -min-query-time-to-log=20
> --max-solver-time=20 options or klee will report
***
This email originates from outside Imperial. Do not click on links and attachments unless you recognise the sender.
If you trust the sender, add them to your safe senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping for this address.
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
***
This email originates from outside Imperial. Do not click on links and attachments unless you recognise the sender.
If you trust the sender, add them to your safe senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping for this address.