solidity/test/cmdlineTests/model_checker_ext_calls_untrusted_chc/input.sol
2023-02-06 17:02:33 +01:00

13 lines
226 B
Solidity

// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.0;
abstract contract Ext {
function f() virtual public view returns (uint);
}
contract test {
function g(Ext e) public view {
uint x = e.f();
assert(x == 0);
}
}