solidity/test/cmdlineTests/standard_model_checker_contracts_inexistent_contract/output.json

{
    "errors":
    [
        {
            "component": "general",
            "errorCode": "7400",
            "formattedMessage": "Warning: Requested contract \"C\" does not exist in source \"Source\".

",
            "message": "Requested contract \"C\" does not exist in source \"Source\".",
            "severity": "warning",
            "type": "Warning"
        }
    ],
    "sources":
    {
        "Source":
        {
            "id": 0
        }
    }
}