From 18b1db9bdbe16c3049c03774e2e77173d6a2d081 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Thu, 22 Nov 2012 17:01:48 +0100 Subject: [PATCH] Use xbt_os_time() instead of gras_os_time(). --- testsuite/xbt/heap_bench.c | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/testsuite/xbt/heap_bench.c b/testsuite/xbt/heap_bench.c index 417f987e9e..b873e1be26 100644 --- a/testsuite/xbt/heap_bench.c +++ b/testsuite/xbt/heap_bench.c @@ -12,11 +12,9 @@ #include #include -#include +#include #include "xbt/heap.h" -#include "gras/virtu.h" /* time manipulation in bench */ - #include "xbt/sysdep.h" /* calloc, printf */ #define MAX_TEST 1000000 @@ -80,14 +78,14 @@ void test_heap_mean_operation(int size) double date = 0; int i, j; - date = gras_os_time() * 1000000; + date = xbt_os_time() * 1000000; for (i = 0; i < size; i++) xbt_heap_push(heap, NULL, (10.0 * rand() / (RAND_MAX + 1.0))); - date = gras_os_time() * 1000000 - date; + date = xbt_os_time() * 1000000 - date; printf("Creation time %d size heap : %g\n", size, date); - date = gras_os_time() * 1000000; + date = xbt_os_time() * 1000000; for (j = 0; j < MAX_TEST; j++) { if (!(j % size) && j) @@ -97,7 +95,7 @@ void test_heap_mean_operation(int size) xbt_heap_pop(heap); xbt_heap_push(heap, NULL, 3.0 * val); } - date = gras_os_time() * 1000000 - date; + date = xbt_os_time() * 1000000 - date; printf("Mean access time for a %d size heap : %g\n", size, date * 1.0 / (MAX_TEST + 0.0)); -- 2.20.1