static xbt_os_timer_t timer;
static int benchmarking = 0;
static xbt_dict_t benchmark_set = NULL;
-static double reference = .00523066250047108838; /* FIXME: we should benchmark host machine to set this */
+static double reference = .00000000523066250047108838; /* FIXME: we should benchmark host machine to set this; unit=s/flop */
static double duration = 0.0;
static char* locbuf = NULL;
ir = xbt_dict_get_or_null(dict, key);
if (!ir) {
ir = xbt_new0(double,1);
- xbt_dict_set(dict, key, ir, free);
+ xbt_dict_set(dict, key, ir, xbt_free_f);
}
*ir = value;
}