solidity/test/cmdlineTests/standard_model_checker_solvers_z3_smtlib2/output.json

{
    "errors":
    [
        {
            "component": "general",
            "errorCode": "6328",
            "formattedMessage": "Warning: CHC: Assertion violation happens here.
Counterexample:

x = 0

Transaction trace:
C.constructor()
C.f(0)
 --> A:4:47:
  |
4 | contract C { function f(uint x) public pure { assert(x > 0); } }
  |                                               ^^^^^^^^^^^^^

",
            "message": "CHC: Assertion violation happens here.
Counterexample:

x = 0

Transaction trace:
C.constructor()
C.f(0)",
            "severity": "warning",
            "sourceLocation":
            {
                "end": 119,
                "file": "A",
                "start": 106
            },
            "type": "Warning"
        }
    ],
    "sources":
    {
        "A":
        {
            "id": 0
        }
    }
}