Support higher timing precision in output parser
authorHerbert Valerio Riedel <hvr@gnu.org>
Mon, 28 Jul 2014 07:54:41 +0000 (09:54 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Mon, 28 Jul 2014 07:54:41 +0000 (09:54 +0200)
commit5bc1c75db2c74413959772c85d43f8171fdd7b8c
tree66ca87580f8d21e77deac8b3c532ed007f6efddd
parentd98f7038d1111e515db9cc27d5d3bbe237e6e14f
Support higher timing precision in output parser

...and increase reported precision in nofib-analyse from `%.2f` to `%.3f`
(i.e. from 10ms to 1ms granularity). See also D97.
nofib-analyse/Main.hs
runstdtest/runstdtest.prl