pragma experimental SMTChecker; | |
// pragma solidity ^0.4.20; | |
contract Primes { | |
function prime(uint a, uint b) public pure { | |
require(1 < a && a < 500); | |
require(1 < b && b < 25000); | |
assert(a * b != 23447); | |
} | |
function factor(uint a, uint b) public pure { | |
require(1 < a && a < 500); | |
require(1 < b && b < 25000); | |
assert(a * b != 23449); | |
} | |
} | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment