diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-09-30 16:19:45 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-09-30 16:19:45 +0200 |
commit | 98da77db53b4a41062c47f8f55418eb1fbb7e5bb (patch) | |
tree | 73036ad66da19b822daf8838d4248a068c32caec /test-suite/output-modulo-time | |
parent | a7a3e5b4d6df64b9bee42a86cd018c19ac6b01c0 (diff) |
test-suite/output-modulo-time made more robust
Order of items made stable
Diffstat (limited to 'test-suite/output-modulo-time')
-rw-r--r-- | test-suite/output-modulo-time/ltacprof_cutoff.out | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test-suite/output-modulo-time/ltacprof_cutoff.out b/test-suite/output-modulo-time/ltacprof_cutoff.out index 13cd87b8c..0cd5777cc 100644 --- a/test-suite/output-modulo-time/ltacprof_cutoff.out +++ b/test-suite/output-modulo-time/ltacprof_cutoff.out @@ -2,8 +2,8 @@ total time: 1.584s tactic local total calls max ────────────────────────────────────────┴──────┴──────┴───────┴─────────┘ -─sleep --------------------------------- 100.0% 100.0% 3 0.572s ─foo2 ---------------------------------- 0.0% 100.0% 1 1.584s +─sleep --------------------------------- 100.0% 100.0% 3 0.572s ─foo1 ---------------------------------- 0.0% 63.9% 1 1.012s tactic local total calls max @@ -19,7 +19,6 @@ total time: 1.584s ─foo2 ---------------------------------- 0.0% 100.0% 1 1.584s ─foo1 ---------------------------------- 0.0% 63.9% 1 1.012s ─foo0 ---------------------------------- 0.0% 31.3% 1 0.496s -─constructor --------------------------- 0.0% 0.0% 1 0.000s tactic local total calls max ────────────────────────────────────────┴──────┴──────┴───────┴─────────┘ @@ -29,5 +28,4 @@ total time: 1.584s │ └─foo0 ------------------------------ 0.0% 31.3% 1 0.496s │ └sleep ----------------------------- 31.3% 31.3% 1 0.496s └─sleep ------------------------------- 36.1% 36.1% 1 0.572s -─constructor --------------------------- 0.0% 0.0% 1 0.000s |