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

[tlaplus] TLC error

Hello TLA community,

I am running simulations of a fairly complex model and I keep encountering the following error:
  Error: Wrong invocation of TLC error printer. Error code not found.

I can't seem to find any info about such an error. Can someone help me understand what this is about?

Thank you in advance :)


Isaac DeFrain

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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAM3xQxGH%3DBj5b6UhcO8DPtpykiD838gwpZ2RV%3Dgq_%2BaGhpK06w%40mail.gmail.com.