aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/IntegrationTestFreezeDisplay.v
blob: c6d13e05aaff4fc8886b779ead471572abb22810 (plain) 
1
2
3
4

Require Import Crypto.Specific.IntegrationTestFreeze.
Require Import Crypto.Specific.IntegrationTestDisplayCommon.

Check display freeze.
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 10:34:52 +0000