solidity/test/libsolidity/smtCheckerTests/special/msg_sender_range.sol

11 lines
190 B
Solidity
Raw Normal View History

contract C {
function f() public view {
assert(msg.sender >= address(0)); // should hold
assert(msg.sender <= address(2**160-1)); // should hold
}
}
2021-03-31 15:11:54 +00:00
// ====
// SMTEngine: all
// ----