Macro test_generation::state_function_can_acquire_resource

macro_rules! state_function_can_acquire_resource {
    () => { ... };
}

Wrapper for enclosing the arguments of function_can_acquire_resource so that only the state needs to be given.