Thanks Markus
.....Will check that out !!
On Sunday, March 24, 2019 at 4:00:58 AM UTC+5:30, Markus Alexander Kuppe wrote:
On 22.03.19 22:09, Adi wrote:
> Actually I was confused by the error trace which showed red highlight on
> variable i when in states 3,4,5...etc. which led me to think that the
> invariant is violated at those steps also. I now feel that this is
> complete error trace leading to i == 21 which actually violated the
> invariant, not the steps in between.
The error trace explorer comes with detailed documentation:
http://nightly.tlapl.us/doc/model/executing-tlc.html#model
The same documentation is also available from the built-in Toolbox help.
Hope this helps,
Markus