seeking a model/spec that can reproduce a "null" error trace

26 views
Skip to first unread message

Ian Morris Nieves

unread,
May 5, 2017, 5:15:18 PM5/5/17
to tlaplus
Dear Group,

In an effort to help improve the quality of error output on TLC, I am trying to collect examples of models/specs that consistently produce output (when model checked) of the form:

error: null


This output may come via command line or via Toolbox, either output source would be useful information.

If you do have such an example, please consider responding to this thread with the example attached, and any special instructions needed to reproduce the error.

As well, if you were able to create a work-around, any information about that work-around would be helpful!

As a final note, the output message may be "error null" or "Error: null" or any equivalent message that consists of the words error and null either with or without separating colon.

Best,
Ian
Reply all
Reply to author
Forward
0 new messages