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

Check display freeze.