diff --git a/runtime/src/local_runqueue_list.c b/runtime/src/local_runqueue_list.c index 1e1fafa..c727e8c 100644 --- a/runtime/src/local_runqueue_list.c +++ b/runtime/src/local_runqueue_list.c @@ -60,8 +60,7 @@ local_runqueue_list_rotate() if (ps_list_head_one_node(&local_runqueue_list)) return; struct sandbox *sandbox_at_head = local_runqueue_list_remove_and_return(); - assert(sandbox_at_head->state == SANDBOX_RUNNING_SYS || sandbox_at_head->state == SANDBOX_RUNNABLE - || sandbox_at_head->state == SANDBOX_PREEMPTED); + assert(sandbox_at_head->state == SANDBOX_INTERRUPTED); local_runqueue_list_append(sandbox_at_head); }