checkpoint
[sbp.git] / tests / testcase.g
index 175f1e3..280812d 100644 (file)
@@ -1,9 +1,9 @@
-ts       ::= ws tests ws => ts
-tests    ::= test */ ws
-ws       !::= w*
-test     ::= ^"testcase" "{" input output +/ ws   grammar "}" /ws
-           | ^"testcase" "{" input                grammar "}" /ws
-           | ^"tibcase"  "{" input output +/ ws   grammar "}" /ws
-           | ^"tibcase"  "{" input                grammar "}" /ws
-output   ::= ^"output" quoted ";" /ws
-input    ::= "input"  quoted ";" /ws
+ts         = !ws tests !ws => ts
+tests      = test */ ws
+ws         = w*
+test       = ^"testcase" "{" input output +/ ws   Grammar "}" /ws
+           | ^"testcase" "{" input                Grammar "}" /ws
+           | ^"tibcase"  "{" input output +/ ws   Grammar "}" /ws
+           | ^"tibcase"  "{" input                Grammar "}" /ws
+output     = ^"output" Quoted ";" /ws
+input      = "input"  Quoted ";" /ws