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

13 lines
281 B
Solidity
Raw Permalink Normal View History

contract C
{
function f() public view {
address a = msg.sender;
address b = msg.sender;
assert(a == b);
}
}
2021-03-31 15:11:54 +00:00
// ====
// SMTEngine: all
// ----
2023-02-09 16:07:13 +00:00
// Info 1391: CHC: 1 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.