solidity/test/cmdlineTests/model_checker_invariants_contract/err

mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Info: Contract invariant(s) for model_checker_invariants_contract/input.sol:test:
(!(x >= 1) || true)
CLI and JSON tests 2021-10-06 09:53:14 +00:00			`Info: Contract invariant(s) for model_checker_invariants_contract/input.sol:test:`
update cli tests 2022-11-23 16:38:50 +00:00			`(!(x >= 1) \|\| true)`