]> gitweb.factorcode.org Git - factor.git/commit
benchmark: print timings with 3 decimal places.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 18 Dec 2021 23:27:46 +0000 (15:27 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 18 Dec 2021 23:27:46 +0000 (15:27 -0800)
commitc998640cdb430b8220fdd9d8fe7907ff4a058a29
tree8f7725dc01c98d13400791294d2e24e014b7f2ad
parent147e9ec54ef7c6c17d0e628e2d7cc8681e2f750f
benchmark: print timings with 3 decimal places.
extra/benchmark/benchmark.factor