static void update_resource_state(void *id,
tmgr_trace_event_t event_type,
- double value)
+ double value, double date)
{
command_t command = id;
empty_trace = tmgr_empty_trace_new();
timer_heap = xbt_heap_new(8, NULL);
-
- xbt_assert0(maxmin_system, "surf_init has to be called first!");
}
void surf_timer_model_init(const char *filename)