public int CheckOriginal(int a, int b, int c)
{
PexAssume.IsTrue(MaxValuesAssumptions(a, b, c));
int result = TriangleClassification.ClassifyOriginal(a, b, c);
bool isValid = TriangleClassification.CheckResult(a, b, c, result);
Evaluation.ValidAssert(isValid);
return(result);
}
public void CheckMutant4(int a, int b, int c)
{
//PexAssume.IsTrue(MaxValuesAssumptions(a, b, c));
int result = TriangleClassification.ClassifyMutant4(a, b, c);
bool isValid = TriangleClassification.CheckResult(a, b, c, result);
Evaluation.InvalidAssert(isValid);
////if (!isValid)
////{
//// PexAssert.ReachEventually();
//// Evaluation.InvalidUnreachable();
////}
}
