Example #1
0
 public void AddUndefinedBehaviorAvoidanceConstraint(Expression constraint)
 {
     empty = false;
     builder.AddConjunct(constraint);
 }
Example #2
0
 public void AddConjunct(string conjunct)
 {
     validDefinedStepBuilder.AddConjunct(conjunct);
     validUndefinedStepBuilder.AddConjunct(conjunct);
 }
Example #3
0
 public void AddConjunct(Expression conjunct)
 {
     validStepBuilder.AddConjunct(conjunct);
 }
Example #4
0
 public void AddUndefinedBehaviorAvoidanceConstraint(string constraint)
 {
     hasUndefinedBehaviorAvoidanceConstraint = true;
     validDefinedStepBuilder.AddConjunct(constraint);
     validUndefinedStepBuilder.AddDisjunct($"!({constraint})");
 }
Example #5
0
 public void AddUndefinedBehaviorAvoidanceConstraint(Expression constraint)
 {
     crashAvoidanceBuilder.AddConjunct(constraint);
 }