ion-docs
ion-docs copied to clipboard
Add Limited Equivalence Testing to ANTLR Test
Proving that the ANTLR Text grammar correctly captures some equivalent parsings would help assert its correctness and completeness.
For example, the following are equivalent:
(a+b)
(a + b)