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(); ////} }