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

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

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.