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

Check display freeze.