How do you use "No Behavior Spec" to test an operator?

[hwayne]

How do you use "No Behavior Spec" to test an operator?

[hwayne]

Good catch. An operator is a definition, not an expression. LET Neq(a,b) == a /= b IN Neq(1,2) is valid because that's an expression. I'll review and see if there's a better way to make that distinction. I'll also move the "Integrating with PlusCal" block higher on the page.

[axelson]

Yeah, I think moving the "Integrating with PlusCal" section higher on the page is the main change that is needed.

[OussamLK]

if I try to put the operator definition (Neq(a,b) == a /= b ) directly in the "Evaluate Constant Expression" section then I get an error.

I got stuck here as well, the notion of "expression" is still not defined at this point in the tutorial, and I did spend some time trying to run the examples given in the "Operators" section. I guess the fix is not to suggest running the examples in No Behavior Spec

Tip.
Remember, you can use the “No Behavior Spec” option in your TLC model to test various operators and cases.