diff --git a/ovm/task3.c b/ovm/task3.c index 9c5fa43..a37bf4f 100644 --- a/ovm/task3.c +++ b/ovm/task3.c @@ -13,6 +13,6 @@ static void run_debug(task_t *task, gpointer userdata) { } int main(int argc, char **argv) { - task_main(argc, argv, run, run_debug, NULL, 2001); + task_main(argc, argv, run, run_debug, NULL, 3001); return 0; } diff --git a/ovm/task4.c b/ovm/task4.c index 9c5fa43..2906e68 100644 --- a/ovm/task4.c +++ b/ovm/task4.c @@ -13,6 +13,6 @@ static void run_debug(task_t *task, gpointer userdata) { } int main(int argc, char **argv) { - task_main(argc, argv, run, run_debug, NULL, 2001); + task_main(argc, argv, run, run_debug, NULL, 4001); return 0; } diff --git a/ovm/task_main.h b/ovm/task_main.h index ba60bd6..bd6b2e4 100644 --- a/ovm/task_main.h +++ b/ovm/task_main.h @@ -88,7 +88,7 @@ static inline void task_main(int argc, char **argv, task_app_t app, task_app_t d task = task_new(scenario); score = task_run(task, app, userdata, tracefile); - fprintf(stderr, "Finale score: %f\n", score); + fprintf(stderr, "Finale score: %f (steps: %u)\n", score, (guint) task->timestamp); task_free(task); }