framac: using autotest, requested for scheduler stimulation

outpost-os · Aug 29, 2024 · d1075e2 · d1075e2
1 parent 881ac2d
commit d1075e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kernel/proof/proof_handlers/systick/handler_systick.c b/kernel/proof/proof_handlers/systick/handler_systick.c
@@ -22,7 +22,7 @@ void handler_entrypoint(void)
     /* handler at boot time, no scheduled tasks */
     systick_handler(&frame);
     /* add autotest to scheduler */
-    if (mgr_task_get_handle(SCHED_AUTOTEST_TASK_LABEL, &autotest_handle) != K_STATUS_OKAY) {
+    if (mgr_task_get_handle(SCHED_IDLE, &autotest_handle) != K_STATUS_OKAY) {
         goto end;
     }
     sched_schedule(autotest_handle);