public bool IsPrime([PexAssumeUnderTest] PrimeValidator target, int i)
{
bool result = target.IsPrime(i);
return(result);
// TODO: add assertions to method PrimeValidatorTest.IsPrime(PrimeValidator, Int32)
}
public void IsPrime817()
{
bool b;
PrimeValidator s0 = new PrimeValidator();
b = this.IsPrime(s0, 13);
Assert.AreEqual <bool>(true, b);
Assert.IsNotNull((object)s0);
}
public void IsPrime487()
{
bool b;
PrimeValidator s0 = new PrimeValidator();
b = this.IsPrime(s0, 1005);
Assert.AreEqual <bool>(false, b);
Assert.IsNotNull((object)s0);
}
public void Test_PrimeValidator()
{
Assert.True(PrimeValidator.IsPrime(3));
Assert.False(PrimeValidator.IsPrime(14));
Assert.True(PrimeValidator.IsPrime(19));
Assert.False(PrimeValidator.IsPrime(58));
Assert.True(PrimeValidator.IsPrime(59));
Assert.False(PrimeValidator.IsPrime(264));
Assert.True(PrimeValidator.IsPrime(263));
}
public void Run()
{
Int64 sum = 0;
PrimeValidator validator = new PrimeValidator();
for (int i = 0; i < 2000000; i++)
{
if (validator.IsPrime(i))
{
sum += i;
}
}
Console.WriteLine(sum);
}
