public void AddUndefinedBehaviorAvoidanceConstraint(Expression constraint) { empty = false; builder.AddConjunct(constraint); }
public void AddConjunct(string conjunct) { validDefinedStepBuilder.AddConjunct(conjunct); validUndefinedStepBuilder.AddConjunct(conjunct); }
public void AddConjunct(Expression conjunct) { validStepBuilder.AddConjunct(conjunct); }
public void AddUndefinedBehaviorAvoidanceConstraint(string constraint) { hasUndefinedBehaviorAvoidanceConstraint = true; validDefinedStepBuilder.AddConjunct(constraint); validUndefinedStepBuilder.AddDisjunct($"!({constraint})"); }
public void AddUndefinedBehaviorAvoidanceConstraint(Expression constraint) { crashAvoidanceBuilder.AddConjunct(constraint); }