cicDischarge, Procedural: we improved debugging and added some time stamps

[helm.git] / helm / software / components / acic_procedural / proceduralHelpers.ml

diff --git a/helm/software/components/acic_procedural/proceduralHelpers.ml b/helm/software/components/acic_procedural/proceduralHelpers.ml
index 91f7016cd83de6f5baaa916d72efb3fc7769fb94..54b115aa254de92074659c52f97107a72a805bc1 100644 (file)
--- a/helm/software/components/acic_procedural/proceduralHelpers.ml
+++ b/helm/software/components/acic_procedural/proceduralHelpers.ml
@@ -35,6 +35,17 @@ module D    = Deannotate
 module PER  = ProofEngineReduction
 module Ut   = CicUtil
 
+(* time stamping ************************************************************)
+
+let print_times =
+   let old = ref 0.0 in
+   fun msg -> 
+      let times = Unix.times () in
+      let stamp = times.Unix.tms_utime +. times.Unix.tms_utime in
+      let lap = stamp -. !old in
+      Printf.eprintf "TIME STAMP: %s: %f\n" msg lap; flush stdout;
+      old := stamp
+
 (* raw cic prettyprinter ****************************************************)
 
 let xiter out so ss sc map l =