Add a ctfails test using %grmtools{test_files}

Author: ratmice

lrpar/cttests/src/ctfails/calc_bad_input.test

@@ -0,0 +1,47 @@
+name: Test calculator with malformed input from %grmtools{test_files}
+grammar: |
+    %grmtools {
+        yacckind: Original(YaccOriginalActionKind::UserAction),
+        recoverer: RecoveryKind::None,
+        test_files: "*.bad_input"
+    }
+    %start Expr
+    %actiontype Result<u64, ()>
+    %avoid_insert 'INT'
+    %%
+    Expr: Expr '+' Term { Ok($1? + $3?) }
+        | Term { $1 }
+        ;
+
+    Term: Term '*' Factor { Ok($1? * $3?) }
+        | Factor { $1 }
+        ;
+
+    Factor: '(' Expr ')' { $2 }
+          | 'INT' {
+                let l = $1.map_err(|_| ())?;
+                match $lexer.span_str(l.span()).parse::<u64>() {
+                    Ok(v) => Ok(v),
+                    Err(_) => {
+                        let ((_, col), _) = $lexer.line_col(l.span());
+                        eprintln!("Error at column {}: '{}' cannot be represented as a u64",
+                                  col,
+                                  $lexer.span_str(l.span()));
+                        Err(())
+                    }
+                }
+            }
+          ;
+
+lexer: |
+    %%
+    [0-9]+ "INT"
+    \+ "+"
+    \* "*"
+    \( "("
+    \) ")"
+    [\t\n ]+ ;
+extra_files:
+  input1.bad_input: |
+    (1 + 2 * 3
+