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