@@ -105,6 +105,9 @@ int main(int argc, char **argv)
}
ret = starpu_task_wait_for_all();
+ for (i = 0; i < K; i++)
+ starpu_task_deinit(&task[i]);
+
STARPU_CHECK_RETURN_VALUE(ret, "starpu_task_wait_for_all");
gettimeofday(&end, NULL);