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