tests/proofmode.v · ded831d3199b7612546b0b128b1348fc63f6b576 · Abel Nieto / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

5 years ago
ded831d3
Fix error message regression, add new test cases. · ded831d3
Joseph Tassarotti authored 5 years ago and Robbert Krebbers committed 5 years ago
```
Also fixes pre-existing bug in iCombine error messages.
```
ded831d3

History
Fix error message regression, add new test cases.
Joseph Tassarotti authored 5 years ago and Robbert Krebbers committed 5 years ago
```
Also fixes pre-existing bug in iCombine error messages.
```