tla-web icon indicating copy to clipboard operation
tla-web copied to clipboard

Show an error message if any action doesn't assign all variables

Open ajdavis opened this issue 9 months ago • 2 comments

Such actions are ignored according to this comment, but the spec should fail to evaluate, with a helpful error.

ajdavis avatar May 20 '24 01:05 ajdavis