solidity/test/libsolidity/smtCheckerTests/operators/mod.sol

11 lines
189 B
Solidity
Raw Normal View History

2019-12-04 12:21:55 +00:00
pragma experimental SMTChecker;
contract C {
function f(int x, int y) public pure {
require(y == -10);
require(x == 100);
int z1 = x % y;
int z2 = x % -y;
assert(z1 == z2);
}
}