model-checker icon indicating copy to clipboard operation
model-checker copied to clipboard

Published 20 hours ago • verified publisher icon computersforpeace

OUT OF BOOTSTRAP MEMORY

Open Ricagraca opened this issue 3 years ago • 0 comments

Hello! What can I do here? I was trying to run the model checker, but it does not seem to work. In the ./mymemory.cc, it gives an exception in HandleEarlyAllocationRequest. I will try to run in a different environment though. Maybe I do not have enough RAM :(

Ricagraca avatar Oct 28 '21 13:10 Ricagraca