Returns true if the arena is active (initialized); false otherwise. The name was chosen to match a task_scheduler_init method with the same semantics.
source not stored for this graph (policy: none)
no test coverage detected