fixing NPE in Interpreter and some better error reporting + tests

mattulbrich / dive

Dafny Interactive Verification Environment (DIVE)

GNU General Public License v3.0

4 stars 0 forks source link

Closed JonasKlamroth closed 3 years ago

JonasKlamroth commented 3 years ago

fixed a NPE which occured when executing the script "cases {}" (i think on any sequent).
introduced some more informative error messages + corresponding tests IMO