pub fn function_can_acquire_resource(state: &AbstractState) -> bool
Expand description
Whether the function acquires any global resources or not
pub fn function_can_acquire_resource(state: &AbstractState) -> bool
Whether the function acquires any global resources or not