solidity/test/cmdlineTests/standard_wrong_type_auxiliary_input_smtlib2responses/output.json

{"errors":[{"component":"general","formattedMessage":"\"auxiliaryInput.smtlib2responses\" must be an object.","message":"\"auxiliaryInput.smtlib2responses\" must be an object.","severity":"error","type":"JSONError"}]}