tests/proofmode.ref · ded831d3199b7612546b0b128b1348fc63f6b576 · Glen Mével / Iris · GitLab

Find file Blame History Permalink

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