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