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 klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
