Closed anton-trunov closed 1 year ago
JSON output makes it complicated to separate warnings from the rest of the output. Also, there is a way to disable (at least some of the) warnings using CLI arguments. I don't think this is a big issue and we can close it for now.
Errors are reported to
stderr
and so should be warnings (related PR #495). This makes it easier to ignore warnings and focus on the result (makes it easier to do scripting withscilla-checker
/scilla-runner
.