Function test_generation::transitions::function_can_acquire_resource

source · 
pub fn function_can_acquire_resource(state: &AbstractState) -> bool
Expand description

Whether the function acquires any global resources or not