diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-09-29 18:28:24 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-09-29 18:57:52 -0400 |
| commit | c4c7aa6d7b14a6d76c287b97d487abe055406577 (patch) | |
| tree | e80e74a11f69139f8b480298e7a27a3cf905f427 /test-suite/Makefile | |
| parent | edb55a94fc5c0473e57f5a61c0c723194c2ff414 (diff) | |
LtacProf cutoff is for total percent, not time
Diffstat (limited to 'test-suite/Makefile')
| -rw-r--r-- | test-suite/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index a40ea80ae..e3800ee22 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -304,12 +304,12 @@ $(addsuffix .log,$(wildcard output-modulo-time/*.v)): %.v.log: %.v %.out | grep -v "\[Loading ML file" \ | grep -v "Skipping rcfile loading" \ | grep -v "^<W>" \ - | sed -e 's/\s*[0-9]*\.[0-9][0-9]*\s*//g' \ + | 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' \ > $$tmpoutput; \ - sed -e 's/\s*[0-9]*\.[0-9][0-9]*\s*//g' \ + 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' \ |