From a0ba576b0f4bda9bc66cf92ed00ff71a48aeceef Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 25 Jan 2019 22:29:06 -0600
Subject: [PATCH] test: details in sudoku solver

---
 src/sudoku/sudoku_solve.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/sudoku/sudoku_solve.ml b/src/sudoku/sudoku_solve.ml
index ca222526..8269ac2d 100644
--- a/src/sudoku/sudoku_solve.ml
+++ b/src/sudoku/sudoku_solve.ml
@@ -308,6 +308,8 @@ let solve_grid (g:Grid.t) : Grid.t option =
   Solver.solve s
 
 let solve_file file =
+  Format.printf "solve grids in file %S@." file;
+  let start = Sys.time() in
   let grids =
     CCIO.with_in file CCIO.read_lines_l
     |> CCList.filter_map
@@ -319,6 +321,7 @@ let solve_file file =
            | exception e ->
              errorf "cannot parse sudoku %S: %s@." s (Printexc.to_string e))
   in
+  Format.printf "parsed %d grids (in %.3fs)@." (List.length grids) (Sys.time()-.start);
   List.iter
     (fun g ->
        Format.printf "@[<v>@,#########################@,@[<2>solve grid:@ %a@]@]@." Grid.pp g;