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

No detailed information from TLA+ Parser Error

From: fisherm...@xxxxxxxxx
Date: Sun, 20 May 2018 05:43:36 -0700 (PDT)

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?

Thanks

Fisher

Follow-Ups:
- Re: [tlaplus] No detailed information from TLA+ Parser Error
  - From: Markus Kuppe

Prev by Date: Re: [tlaplus] Re: Checking implementation
Next by Date: Re: [tlaplus] No detailed information from TLA+ Parser Error
Previous by thread: Re: [tlaplus] Re: Checking implementation
Next by thread: Re: [tlaplus] No detailed information from TLA+ Parser Error
Index(es):
- Date
- Thread