Check for input .out files; bisect*.out patterns

aantron · Aug 27, 2019 · f63e4e3 · f63e4e3
1 parent 5efb440
commit f63e4e3
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/report/report.ml b/src/report/report.ml
@@ -185,6 +185,12 @@ let main () =
     exit 0
   end;
   let data, points =
+    let have_out_file =
+      List.exists
+        (fun file -> Filename.check_suffix file ".out") !raw_coverage_files
+    in
+    if have_out_file then
+      prerr_endline " *** warning: .out files are now .coverage files";
     match !raw_coverage_files with
     | [] ->
         prerr_endline " *** warning: no .coverage files provided";