[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
PlusCal sometimes not working in TLA+ Toolbox
- From: Jaak Ristioja <jaak.r...@xxxxxxxx>
- Date: Tue, 24 Nov 2015 18:11:38 +0200
- User-agent: curl/7.45.0
Hello!
Sometimes when I run the PlusCal translator in the Toolbox, a progress
information window quickly flashes, and I'm back to the editor with
nothing inbetween the \* BEGIN/END TRANSLATION lines. No error is displayed.
This seems to be specific to some .tla files and not others. Is my
800-line PlusCal source too long?
How do I debug this?
Best regards,
Jaak