[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: TLC: NoSuchElementException on checkpoint restore
Some time later I got this message:
Error: Java ran out of memory. Running Java with a larger memory allocation
pool (heap) may fix this. But it won't help if some state has an enormous
number of successor states, or if TLC must compute the value of a huge set.
Finished in 04min 10s at (2017-04-04 18:08:25)
This is strange because I ran TLC with the same parameters for virtual machine memory