Type Definition test_generation::summaries::Precondition

source · 
pub type Precondition = dyn Fn(&AbstractState) -> bool;
Expand description

A Precondition is a boolean predicate on an AbstractState.