Hi Sicco,
As the message says, this happens when the system runs out of memory. I
assume this happens after KLEE runs for a while. You could try running
things with DFS (--search=dfs), which is less memory hungry.
Best,
Cristian
On 27/03/18 08:45, Sicco Verwer wrote:
Dear all,
I am trying to run KLEE in my class on concolic execution. Some student get the
following message after which KLEE quits, and I cannot seem to find the cause,
or solution. Does anyone know?
“KLEE: WARNING: fork failed (for STP) - Cannot allocate memory”
Thanks and all the best,
Sicco Verwer
_______________________________________________
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
