Open ahelwer opened 1 month ago
This syntax should be rejected, as SANY correctly rejects it:
---- MODULE Test ---- op == /\ 1 /\ (2 ) /\ 3 ====
It's possible this cannot be done but requires a close look at the external scanner.
This syntax should be rejected, as SANY correctly rejects it:
It's possible this cannot be done but requires a close look at the external scanner.