solidity/test/cmdlineTests/standard_model_checker_timeout_wrong_key/output.json
2020-11-03 10:46:11 +00:00

2 lines
158 B
JSON

{"errors":[{"component":"general","formattedMessage":"Unknown key \"atimeout\"","message":"Unknown key \"atimeout\"","severity":"error","type":"JSONError"}]}