solidity/test/cmdlineTests/standard_model_checker_contracts_empty_contract/output.json

{"errors":[{"component":"general","formattedMessage":"Contract name cannot be empty.","message":"Contract name cannot be empty.","severity":"error","type":"JSONError"}]}