solidity/test/cmdlineTests/model_checker_contracts_all/input.sol
2021-04-21 10:34:14 +02:00

12 lines
213 B
Solidity

// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.0;
contract B {
function f(uint x) public pure {
assert(x > 0);
}
}
contract A is B {
function g(uint y) public pure {
assert(y > 0);
}
}