mutaml icon indicating copy to clipboard operation
mutaml copied to clipboard

mutaml-report fails when source includes menhir or ocamllex code

Open WardBrian opened this issue 1 year ago • 0 comments

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

WardBrian avatar Oct 17 '24 13:10 WardBrian