aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas32_2e226m5_9limbs/freezeDisplay.v
blob: 3d8f485f7c460e925eb64e4c28bc30df5d64ed33 (plain)
1
2
3
4
Require Import Crypto.Specific.solinas32_2e226m5_9limbs.freeze.
Require Import Crypto.Specific.Framework.IntegrationTestDisplayCommon.

Check display freeze.