solidity/test/cmdlineTests/standard_model_checker_contracts_empty_array/output.json

{"errors":[{"component":"general","formattedMessage":"Source contracts must be a non-empty array.","message":"Source contracts must be a non-empty array.","severity":"error","type":"JSONError"}]}