simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

comment out some profiling

Browse source
This commit is contained in:
Simon Cruanes 2022-08-14 14:14:50 -04:00
parent 679b35012b
commit ff6dc527bd
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
examples/sudoku/sudoku_solve.ml
View file

@ -202,7 +202,7 @@ end = struct
(* check that all cells are full *) (* check that all cells are full *)
let check_full_ (self : t) (acts : (Lit.t, proof, proof_step) acts) : unit = 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 let (module A) = acts in
Grid.all_cells (grid self) (fun (x, y, c) -> Grid.all_cells (grid self) (fun (x, y, c) ->
if Cell.is_empty c then ( if Cell.is_empty c then (
@ -215,7 +215,7 @@ end = struct
(* check constraints *) (* check constraints *)
let check_ (self : t) (acts : (Lit.t, proof, proof_step) acts) : unit = 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 -> Log.debugf 4 (fun k ->
k "(@[sudoku.check@ @[:g %a@]@])" Grid.pp (B_ref.get self.grid)); k "(@[sudoku.check@ @[:g %a@]@])" Grid.pp (B_ref.get self.grid));
let (module A) = acts in let (module A) = acts in
@ -263,7 +263,6 @@ end = struct
)) ))
let partial_check (self : t) acts : unit = let partial_check (self : t) acts : unit =
Profile.with_ "partial-check" @@ fun () ->
Log.debugf 4 (fun k -> Log.debugf 4 (fun k ->
k "(@[sudoku.partial-check@ :trail [@[%a@]]@])" (Fmt.list F.pp) k "(@[sudoku.partial-check@ :trail [@[%a@]]@])" (Fmt.list F.pp)
(trail_ acts |> Iter.to_list)); (trail_ acts |> Iter.to_list));
@ -271,7 +270,6 @@ end = struct
check_ self acts check_ self acts
let final_check (self : t) acts : unit = let final_check (self : t) acts : unit =
Profile.with_ "final-check" @@ fun () ->
Log.debugf 4 (fun k -> k "(@[sudoku.final-check@])"); Log.debugf 4 (fun k -> k "(@[sudoku.final-check@])");
check_full_ self acts; check_full_ self acts;
check_ self acts check_ self acts