A message box with some Eclipse launching parameters appears and Eclipse closes when running eTLA parser (build project on a TLA+ project)with "Generate statitics" analyzer options enabled.
When this option is unchecked, the problem is solved.
Log in to post a comment.