From 945fba1a08e05abb8c5396023871f4b79d0a392a Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Thu, 5 Jul 2012 13:01:35 +0200 Subject: fix benchmark: milliseconds are displayed as double --- src/benchmark.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/benchmark.c b/src/benchmark.c index 185e738..a56af0d 100644 --- a/src/benchmark.c +++ b/src/benchmark.c @@ -27,7 +27,7 @@ int main(int argc, char *argv[]) { gettimeofday(&t, NULL); us += (t.tv_sec - t0.tv_sec) * 1000000 + t.tv_usec - t0.tv_usec; } - printf("average read time for %i iterations: %i [ms]\n", ITERATIONS, us / ITERATIONS / 1000); + printf("average read time for %i iterations: %.3f [ms]\n", ITERATIONS, 1.0 * us / ITERATIONS / 1000); us = 0; for (int i = 0; i < ITERATIONS; ++i) { @@ -36,5 +36,5 @@ int main(int argc, char *argv[]) { gettimeofday(&t, NULL); us += (t.tv_sec - t0.tv_sec) * 1000000 + t.tv_usec - t0.tv_usec; } - printf("average quick read time for %i iterations: %i [ms]\n", ITERATIONS, us / ITERATIONS / 1000); + printf("average quick read time for %i iterations: %.3f [ms]\n", ITERATIONS, 1.0 * us / ITERATIONS / 1000); } -- cgit v1.2.3