Menu
▾
▴
#182 "java heap space"
OS = windows XP
rodin version = 0.8.1
Regularly, while (auto)proving, this kind of error message appears : "java heap space" leading to Rodin closing.
recently :
message box =
"problem occurred
while running org.eventb.core.autoPOM on xxx.bps (time of error xxx)
Reason :
Java heap space"
How memory must we have to avoid this kind of error ?
(now i'm using 1 Go RAM)
To free used memory (seen on windows task manager), i close rodin tool and reopen it. Is it normal ?
Logged In: NO
Same problem on my side. While i'm doing proof the memory consumption is higher and higher.
You can check it directly with rodin :
menu windows> preferences > general > Show heap status
And you can increase the max size of the heap with rodin.ini
That really smells the memory leak ... :-/
jrloria
Logged In: YES
user_id=1889007
Originator: YES
Thank you jrloria for your comment and your help
Could you tell me how to change the max size of the heap using "rodin.ini" ?
Logged In: YES
user_id=1041912
Originator: NO
Duplicate of #1929719.