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;
}
}
