Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
tests
proofmode.v
Find file
Blame
History
Permalink
Test case for performance regression akin to #153.
· bc947bd5
Robbert Krebbers
authored
Feb 09, 2018
Fixed by stdpp 93b4ec70e13a573a9055a5bf1269f5885e18e843.
bc947bd5