diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-12-20 00:33:57 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-20 00:33:57 +0100 |
| commit | 5193624aadcbac71487e0c045060d8b4b61126b3 (patch) | |
| tree | 9dc3ea93e9c55414e81aca13c4cfd24b7d9f64c0 /test-suite | |
| parent | 547ec33c0742206a2820171636634abc2070c405 (diff) | |
| parent | e48a20056e298215392b9a756dcc52cdf5c825fa (diff) | |
Merge PR #6471: Fix ltacprof_abstract (I think because of #6411 parallel merge).
Diffstat (limited to 'test-suite')
| -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 |