ts ::= ws tests ws => ts
-tests ::= test %% ws
+tests ::= test */ ws
ws !::= w*
test ::= ^"testcase" "{" input output +/ ws grammar "}" /ws
| ^"testcase" "{" input grammar "}" /ws
-output ::= "output" quoted ";" /ws
+ | ^"tibcase" "{" input output +/ ws grammar "}" /ws
+ | ^"tibcase" "{" input grammar "}" /ws
+output ::= ^"output" quoted ";" /ws
input ::= "input" quoted ";" /ws