solidity/test/cmdlineTests/model_checker_engine_chc/input.sol

7 lines
136 B
Solidity
Raw Normal View History

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