Re: [klee-dev] KLEE aborts with tcmalloc error

2020-04-16 Thread Cristian Cadar
As you can see from the log ("LLVM ERROR: out of memory") the run exhausted all available memory. This is not that surprising for a 36h run. When you enable query logging, memory consumption increases further, as the textual representation of the queries can become massive after a long run.

[klee-dev] KLEE aborts with tcmalloc error

2020-04-16 Thread Hooman
*** 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.