[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] How to debug unexpected exception when the error call stack is empty?
- From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
- Date: Tue, 16 Mar 2021 08:09:04 -0700
- Ironport-hdrordr: A9a23:B/f6bKvuk74g95EjC+gBbtBs7skCBoMji2hD6mlwRA09T+WzkceykPMHkSLlkTp5YgBEpfmsGomlBUnd+5l8/JULMd6ZNmTbkUahMY0K1+ff6hL6HSmWzIFg/IJhabU7NNrrEVNhh9376wXQKadG/PCi0ISFwdjT1G1sSwYCUdAD0y5cBhyAGkN7AClqbKBYKLOm6sBKpyWtdB0sB6yGL0IIRu3S4+DM/aiJXTc9GxUl5AOS5AnYi4LSLh7w5HYjegIK6rck/GjDnWXCl8GemsD+7iXy/Eq71f9rseqk7uFyPoils+h9EESXti+YIKBoW7iMpzYwydvfkGoCoZ3pqwwjM9l0y165RBDNnTLdny3jzR404X7j1lPwuwqZneXJABY5Fu5IhYd1UDv8gnBQwe1U4eZz4EKg3qAnay/9oA==
- References: <firstname.lastname@example.org>
On 16.03.21 02:16, myzh...@xxxxxxxxx wrote:
I am using a PlusCal to write a pretty complex spec. I got the following
exception from the toolbox:
"TLC threw an unexpected exception.
This was probably caused by an error in the spec or model.
See the User Output or TLC Console for clues to what happened.
The exception was a java.lang.RuntimeException:
util.Assert$TLCRuntimeException: Attempted to compare equality of
boolean FALSE with non-boolean: ""
The error occurred when TLC was evaluating the nested expressions at the
following positions: The error call stack is empty."
Since the error call stack is empty and the spec is pretty long (so I
can't paste it here), it is hard for me to debug by just using print and
Any suggestions for debugging this?
Thanks for your help,
if you are comfortable debugging the TLA+ and not the PlusCal, check out
the error breakpoints  of the current TLA+ debugger prototype.
Rewind to the start of the screencast for installation instructions.
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/53b896d2-86e3-1075-3e3a-f1cdbb9f64be%40lemmster.de.