diff options
-rw-r--r-- | test-suite/Makefile | 5 | ||||
-rw-r--r-- | test-suite/output-modulo-time/ltacprof_cutoff.out | 4 |
2 files changed, 5 insertions, 4 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index efa0236c3..b32071e80 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -309,12 +309,15 @@ $(addsuffix .log,$(wildcard output-modulo-time/*.v)): %.v.log: %.v %.out -e 's/\s*0\.\s*//g' \ -e 's/\s*[-+]nan\s*//g' \ -e 's/\s*[-+]inf\s*//g' \ + -e 's/^[^a-zA-Z]*//' \ + | sort \ > $$tmpoutput; \ sed -e 's/\s*[-+0-9]*\.[0-9][0-9]*\s*//g' \ -e 's/\s*0\.\s*//g' \ -e 's/\s*[-+]nan\s*//g' \ -e 's/\s*[-+]inf\s*//g' \ - $*.out > $$tmpexpected; \ + -e 's/^[^a-zA-Z]*//' \ + $*.out | sort > $$tmpexpected; \ diff -b -u $$tmpexpected $$tmpoutput 2>&1; R=$$?; times; \ if [ $$R = 0 ]; then \ echo $(log_success); \ 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 |