solidity/test/libsolidity/smtCheckerTests/operators/shifts/shr_unused.sol
2021-10-06 13:55:38 +02:00

11 lines
276 B
Solidity

contract C {
function f() public pure {
fixed x;
assert(x >>> 6 == 0);
}
}
// ====
// SMTEngine: all
// ----
// TypeError 2271: (61-68): Operator >>> not compatible with types fixed128x18 and int_const 6. Arithmetic operators on fixed point types are not yet supported.