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