tests/proofmode.v · e6708f08300d8936d9a72fbde2ae27bfd19ae0e3 · Iris / Iris · GitLab

Skip to content

GitLab

Explore

Sign in

iris
tests
proofmode.v

Blame Permalink

Sep 03, 2021
e6708f08

Make error message of auto frame more informative. · e6708f08
Robbert Krebbers authored Sep 03, 2021

e6708f08

Make error message of auto frame more informative.
Robbert Krebbers authored Sep 03, 2021

Loading