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

No detailed information from TLA+ Parser Error

Hi all,

   My TLA+ toolbox(Win7 64bit / Java 8u171 64 bit / TLA+ toolbox 1.5.6 x64) don't display any detailed info about Parser Errors.

   For a TLA file with no error, the toolbox can run TLC check against it successfully.

   Can anyone help?