Constant test_generation::config::NEGATE_PRECONDITIONS

source · 
pub const NEGATE_PRECONDITIONS: bool = false;
Expand description

Whether preconditions will be negated to generate invalid programs in order to test error paths. Default is false