solidity/test/cmdlineTests/standard_model_checker_invariants_wrong_key/output.json
2021-10-26 11:30:30 +02:00

2 lines
196 B
JSON

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