diff options
| -rw-r--r-- | test-suite/output-modulo-time/ltacprof_abstract.out | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/test-suite/output-modulo-time/ltacprof_abstract.out b/test-suite/output-modulo-time/ltacprof_abstract.out index c60c5abdd..fef4fa248 100644 --- a/test-suite/output-modulo-time/ltacprof_abstract.out +++ b/test-suite/output-modulo-time/ltacprof_abstract.out @@ -1,14 +1,17 @@ -total time: 0.964s +total time: 0.922s tactic local total calls max ────────────────────────────────────────┴──────┴──────┴───────┴─────────┘ -─sleep' -------------------------------- 100.0% 100.0% 1 0.964s -─abstract (sleep; constructor) --------- 0.0% 100.0% 1 0.964s +─abstract (sleep; constructor) --------- 0.0% 100.0% 1 0.922s +─sleep' -------------------------------- 100.0% 100.0% 1 0.922s ─constructor --------------------------- 0.0% 0.0% 1 0.000s +─sleep --------------------------------- 0.0% 0.0% 0 0.000s tactic local total calls max ────────────────────────────────────────┴──────┴──────┴───────┴─────────┘ -─abstract (sleep; constructor) --------- 0.0% 100.0% 1 0.964s - ├─sleep' ------------------------------ 100.0% 100.0% 1 0.964s - └─constructor ------------------------- 0.0% 0.0% 1 0.000s +─abstract (sleep; constructor) --------- 0.0% 100.0% 1 0.922s + ├─sleep' ------------------------------ 100.0% 100.0% 1 0.922s + ├─constructor ------------------------- 0.0% 0.0% 1 0.000s + └─sleep ------------------------------- 0.0% 0.0% 0 0.000s + └sleep' ------------------------------ 0.0% 0.0% 0 0.000s |