solidity/test/cmdlineTests/standard_model_checker_invariants_contract/output.json
2022-11-24 13:08:06 +01:00

27 lines
438 B
JSON

{
"errors":
[
{
"component": "general",
"errorCode": "1180",
"formattedMessage": "Info: Contract invariant(s) for A:test:
(!(x >= 1) || true)
",
"message": "Contract invariant(s) for A:test:
(!(x >= 1) || true)
",
"severity": "info",
"type": "Info"
}
],
"sources":
{
"A":
{
"id": 0
}
}
}