solidity/test/cmdlineTests/model_checker_invariants_wrong/input.sol

// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.0;
contract test {
	uint x;
	function g() public view {
		assert(x < 10);
	}
}