Error trying to run a model: The status must be "parsed" before model checking is allowed

15 views
Skip to first unread message

yati....@gmail.com

unread,
Jan 22, 2019, 2:39:10 AM1/22/19
to tlaplus
It's a simple PlusCal algorithm spec + model, and I was able to run it until the last time I restarted the toolbox. I tried changing something in the algorithm specification and retranslating, but that didn't help either. I've attached a screenshot of the error dialog[1]. Any pointers?


[1]: https://pasteboard.co/HXAo1JH.png

Stephan Merz

unread,
Jan 22, 2019, 2:46:12 AM1/22/19
to tla...@googlegroups.com
Well, TLC doesn't accept specifications that cannot be parsed. Do you get a syntax error in the main (specification) view of the Toolbox? If the Toolbox is in a weird state, you may have to reset it. Have a look at the section called "In Case of Trouble" of the Help pages.

Hope this helps,
Stephan


> On 22 Jan 2019, at 07:50, yati....@gmail.com wrote:
>
> It's a simple PlusCal algorithm spec + model, and I was able to run it until the last time I restarted the toolbox. I tried changing something in the algorithm specification and retranslating, but that didn't help either. I've attached a screenshot of the error dialog[1]. Any pointers?
>
>
> [1]: https://pasteboard.co/HXAo1JH.png
>
> --
> You received this message because you are subscribed to the Google Groups "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
> To post to this group, send email to tla...@googlegroups.com.
> Visit this group at https://groups.google.com/group/tlaplus.
> For more options, visit https://groups.google.com/d/optout.

yati sagade

unread,
Jan 23, 2019, 12:59:17 AM1/23/19
to tla...@googlegroups.com
Yes, reopening the spec (following the lead from the help pages) helped. Thanks!

-yati
> You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
> To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/czD66sjVZBg/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to tlaplus+u...@googlegroups.com.
Reply all
Reply to author
Forward
0 new messages