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

11 lines
183 B
Solidity
Raw Normal View History

pragma experimental SMTChecker;
contract C
{
function f() public payable {
assert(msg.sig == 0x00000000);
}
}
// ----
// Warning 4661: (79-108): Assertion violation happens here