solidity/test/cmdlineTests/standard_model_checker_targets_wrong/output.json

2 lines
190 B
JSON
Raw Normal View History

{"errors":[{"component":"general","formattedMessage":"Invalid model checker targets requested.","message":"Invalid model checker targets requested.","severity":"error","type":"JSONError"}]}