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

11 lines
192 B
Solidity
Raw Normal View History

2019-04-17 13:55:46 +00:00
pragma experimental SMTChecker;
contract C
{
function f(address a) public view {
assert(a == address(this));
}
}
// ----
// Warning 6328: (85-111): CHC: Assertion violation happens here.