Add additional event.type CHECK.
GitOrigin-RevId: c5524a811b96a3b06585607ca041455e786bedcc
This commit is contained in:
parent
9d3ab75c56
commit
39c7df8000
@ -297,6 +297,8 @@ void Scheduler::do_event(ActorInfo *actor_info, Event &&event) {
|
||||
UNREACHABLE();
|
||||
break;
|
||||
}
|
||||
default:
|
||||
UNREACHABLE();
|
||||
}
|
||||
// can't clear event here. It may be already destroyed during destory_actor
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user