path: root/test/libsolidity/smtCheckerTests/special/msg_sender_1.sol

pragma experimental SMTChecker;

contract C
{
    function f() public view {
        address a = msg.sender;
        address b = msg.sender;
        assert(a == b);
    }
}