Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
add test for iInv with accessor variables See merge request iris/iris!937
Robbert Krebbers authoredadd test for iInv with accessor variables See merge request iris/iris!937