Skip to content
GitLab
Explore
Sign in
iris
tests
proofmode_iris.v
Find file
Blame
History
Permalink
Merge branch 'ralf/iInv-accessor-variable' into 'master'
· 4c4d4059
Robbert Krebbers
authored
Jun 09, 2023
add test for iInv with accessor variables See merge request
iris/iris!937
4c4d4059