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

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



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