Macro test_generation::state_control_flow

source · 
macro_rules! state_control_flow {
    () => { ... };
}
Expand description

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