solidity/test/cmdlineTests/standard_model_checker_show_unproved_wrong/output.json

{
    "errors":
    [
        {
            "component": "general",
            "formattedMessage": "settings.modelChecker.showUnproved must be a Boolean value.",
            "message": "settings.modelChecker.showUnproved must be a Boolean value.",
            "severity": "error",
            "type": "JSONError"
        }
    ]
}