void replay_start_task() { if (!css_initialized) { event_start_css(); css_initialized = 1; } TEST_PROGRESS("starting task with name fake_name\n"); // printf("create and run wd\n"); event_start_task("fake_name"); }
void replay_start_task(int wd_id) { char task_name[31]; if (!css_initialized) { event_start_css(); css_initialized = 1; } TEST_PROGRESS("starting task with name: %d\n", wd_id); sprintf(task_name, "%d", wd_id); event_start_task(&task_name[0]); }
void start_css_valgrind (void) { TEST_PROGRESS("start_css_valgrind \n"); event_start_css(); }