[][src]Macro test_generation::state_control_flow

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

Predicate that is false for every state, unless control operations are allowed.