solidity/test/cmdlineTests/model_checker_invariants_contract/input.sol

8 lines
140 B
Solidity
Raw Normal View History

2021-10-06 09:53:14 +00:00
// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.0;
contract test {
uint x;
function f() public view {
assert(x < 10);
}
}