k-legacy icon indicating copy to clipboard operation
k-legacy copied to clipboard

Published 20 hours ago • verified publisher icon kframework

Uncaught exception thrown of type OutOfMemoryError

Open pantirugabriel90 opened this issue 8 years ago • 1 comments

Hello! I am working on finishing the java machine definition in K and when i try to run the existing work on k 4.0 it gives: [Error] Internal: Uncaught exception thrown of type OutOfMemoryError. Is there a way to give the k tool more memory or how should i solve this?

pantirugabriel90 avatar Mar 03 '17 23:03 pantirugabriel90

You can increase the JVM memory size by providing, for example,

K_OPTS=-Xmx4g

daejunpark avatar Mar 03 '17 23:03 daejunpark