Mutation "src/frontend/lexer.mll-mutant2" passed (see "_mutations/src/frontend/lexer.mll-mutant2.output"):
--- src/frontend/lexer.mll
+++ src/frontend/lexer.mll-mutant2
@@ -7,14 +7,10 @@
open Debugging
open Preprocessor
-(* Boilerplate for getting line numbers for errors *)
- let incr_linenum lexbuf =
- lexer_pos_logger lexbuf.lex_curr_p;
- let pos = lexbuf.lex_curr_p in
- lexbuf.lex_curr_p <- { pos with
- pos_lnum = pos.pos_lnum + 1;
- pos_bol = pos.pos_cnum } ;
- update_start_positions lexbuf.lex_curr_p
+(* Boilerplate for getting line numbers for errlet pos = lexbuf.lex_curr_p in
+lexbuf.lex_curr_p <-
+ { pos with pos_lnum = (pos.pos_lnum + 1); pos_bol = (pos.pos_cnum) };
+update_start_positions lexbuf.lex_curr_ppdate_start_positions lexbuf.lex_curr_p
(* Store comments *)
let add_line_comment (begin_pos, buffer) end_pos =
---------------------------------------------------------------------------
Fatal error: exception Invalid_argument("String.sub / Bytes.sub")
It seems like one solution is to provide an easy way to exclude files from the runner or report, since I'm not necessarily interested in mutation testing for their generated code
It seems like one solution is to provide an easy way to exclude files from the runner or report, since I'm not necessarily interested in mutation testing for their generated code