tla-web
tla-web copied to clipboard
Show an error message if any action doesn't assign all variables
Such actions are ignored according to this comment, but the spec should fail to evaluate, with a helpful error.