[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

PlusCal sometimes not working in TLA+ Toolbox


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,