-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
+#import ../src/edu/berkeley/sbp/meta/meta.g as grammar
+// this is a testx
+s = ws! (TestCases:: TestCase */ ws) ws!
+Input = "input" grammar.Quoted ";" /ws
+Output = "output" grammar.Quoted ";" /ws
+Outputs:: = Output */ ws
+TestCase:: = "testcase" grammar.Quoted "{"
+ Input
+ (^"ignore output;" | Outputs)
+ (SubGrammar:: grammar.Grammar)
+ "}" /ws
+ws = grammar.ws