From ff6dc527bd3228f15dcd7fb5f4edf6e531d61dc0 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 14 Aug 2022 14:14:50 -0400 Subject: [PATCH] comment out some profiling --- examples/sudoku/sudoku_solve.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/examples/sudoku/sudoku_solve.ml b/examples/sudoku/sudoku_solve.ml index 761ebc9f..1fa62774 100644 --- a/examples/sudoku/sudoku_solve.ml +++ b/examples/sudoku/sudoku_solve.ml @@ -202,7 +202,7 @@ end = struct (* check that all cells are full *) let check_full_ (self : t) (acts : (Lit.t, proof, proof_step) acts) : unit = - Profile.with_ "check-full" @@ fun () -> + (*Profile.with_ "check-full" @@ fun () ->*) let (module A) = acts in Grid.all_cells (grid self) (fun (x, y, c) -> if Cell.is_empty c then ( @@ -215,7 +215,7 @@ end = struct (* check constraints *) let check_ (self : t) (acts : (Lit.t, proof, proof_step) acts) : unit = - Profile.with_ "check-constraints" @@ fun () -> + (*Profile.with_ "check-constraints" @@ fun () ->*) Log.debugf 4 (fun k -> k "(@[sudoku.check@ @[:g %a@]@])" Grid.pp (B_ref.get self.grid)); let (module A) = acts in @@ -263,7 +263,6 @@ end = struct )) let partial_check (self : t) acts : unit = - Profile.with_ "partial-check" @@ fun () -> Log.debugf 4 (fun k -> k "(@[sudoku.partial-check@ :trail [@[%a@]]@])" (Fmt.list F.pp) (trail_ acts |> Iter.to_list)); @@ -271,7 +270,6 @@ end = struct check_ self acts let final_check (self : t) acts : unit = - Profile.with_ "final-check" @@ fun () -> Log.debugf 4 (fun k -> k "(@[sudoku.final-check@])"); check_full_ self acts; check_ self acts