diff options
author | Jakob Odersky <jodersky@gmail.com> | 2012-07-05 13:01:35 +0200 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2012-07-05 13:01:35 +0200 |
commit | 945fba1a08e05abb8c5396023871f4b79d0a392a (patch) | |
tree | 3cb312076c82672c60b14fda536b8862217bdd3b | |
parent | 498a74170c61f15b5220a3c120a59b2a03a4ef62 (diff) | |
download | k8055-945fba1a08e05abb8c5396023871f4b79d0a392a.tar.gz k8055-945fba1a08e05abb8c5396023871f4b79d0a392a.tar.bz2 k8055-945fba1a08e05abb8c5396023871f4b79d0a392a.zip |
fix benchmark: milliseconds are displayed as double
-rw-r--r-- | src/benchmark.c | 4 |
1 files 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); } |