public void HelicalValley(double x1, double x2, double x3) { if ((10 * (x3 - 10 * theta(x1, x2))) == 0 && (10 * (Math.Sqrt(x1 * x1 + x2 * x2) - 1)) == 0 && x3 == 0) { PexAssert.ReachEventually(); } }
public void Beale(double x1, double x2) { if ((1.5 - x1 * (1 - x2)) == 0) { PexAssert.ReachEventually(); } }
public void Powell(double x1, double x2) { if ((Math.Pow(10, 4) * x1 * x2 - 1) == 0 && (Math.Pow(Math.E, -x1) + Math.Pow(Math.E, -x2) - 1.0001) == 0) { PexAssert.ReachEventually(); } }
public void FreudensteinAndRoth(double x1, double x2) { if ((-13 + x1 + ((5 - x2) * x2 - 2) * x2) + (-29 + x1 + ((x2 + 1) * x2 - 14) * x2) == 0) { PexAssert.ReachEventually(); } }
public void Rosenbrock(double x1, double x2) { double f = Math.Pow((1 - x1), 2) + 100 * (Math.Pow((x2 - x1 * x1), 2)); if (f == 0) { PexAssert.ReachEventually(); } }
public void WoodFunction(double x1, double x2, double x3, double x4) { if ((10 * (x2 - x1 * x1)) == 0 && (1 - x1) == 0 && (Math.Sqrt(90) * (x4 - x3 * x3)) == 0 && (1 - x3) == 0 && (Math.Sqrt(10) * (x2 + x4 - 2)) == 0 && (Math.Pow(10, -0.5) * (x2 - x4)) == 0) { PexAssert.ReachEventually(); } }
public static void LoopAndIf(int x) { int c = 0, p = 0; while (x > 0) { Evaluation.InvalidAssert(c != 50); // AskTheCode, Pex c = c + 1; p = p + c; x = x - 1; } if (c == 30) { Evaluation.InvalidUnreachable(); // AskTheCode, Pex PexAssert.ReachEventually("location"); } }
public static void TwoLoops(int x, int y) { int c = 0, p = 0; while (x > 0) { Evaluation.SkippedValidAssert(c >= 0); // Nothing c = c + 1; x = x - 1; } while (y > 0) { if (p == 50 && c == 2) { PexAssert.ReachEventually(0); Evaluation.SkippedInvalidUnreachable(); // AskTheCode, Pex } p = p + 1; y = y - 1; } }