diff options
author | 2017-06-22 22:11:35 -0400 | |
---|---|---|
committer | 2017-06-22 22:11:35 -0400 | |
commit | e334bb2c3f5e0f845ed996146e02a6bb4d0f33ae (patch) | |
tree | 7b1ae06286203d642cff43dad6fdb8771a537626 /src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.v | |
parent | ff040390affcd3a1fdfbddb5301e5ecb47ceeff6 (diff) |
Add (partially admitted) integration tests for add, sub, opp
Diffstat (limited to 'src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.v')
-rw-r--r-- | src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.v | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.v b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.v new file mode 100644 index 000000000..af0987565 --- /dev/null +++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.v @@ -0,0 +1,4 @@ +Require Import Crypto.Specific.NISTP256.AMD64.IntegrationTestMontgomeryP256_Opp. +Require Import Crypto.Specific.IntegrationTestDisplayCommon. + +Check display opp. |