When I paste in a 550-line Promela program into Epispin I get an arror.

An internal error occurred during: “Promela ParserScheduler for list-h.pml”.
java.lang.StackOverflowError

Eclipse asks me to end the session.
When I do so, Eclipse will not start up anymore!!!

I won’t show the program over here as it is too large.

Submitted by Kees Pronk on 23 August 2011 at 14:33

Maybe it works if you increase the stack size? It may be advisable to request users do this on installation of EpiSpin, just as we do for Spoofax on http://strategoxt.org/Spoofax/Download. The default stack size is very low.

Since it’s only 550 lines, an underlying problem might be ambiguities, either at the parse tree level or at the abstract syntax tree level, leading to increased stack usage.

I already requested to increase the stack size on the EpiSpin website (but it is on the Installation page only, I might make this more clear). I’m afraid it has something to do with ambiguities. If Kees Pronk can send me the relevant file, I will look into it.

edit: never mind, I see it is posted as an attachment.

Fixed by increasing stack size.