epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
349 stars 50 forks source link

Better reporting #1410

Closed mario-bucev closed 1 year ago

mario-bucev commented 1 year ago

Close #1403 Close #1359 Close #492 Close #800 Close #827 Close #480 Close #1408 (for some reasons, closing a list of issues only auto-closes the first one...) This PR also adds .check files for negative extraction test that are checked against the output (to test that the message are consistent with what is expected).