From e334bb2c3f5e0f845ed996146e02a6bb4d0f33ae Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 22 Jun 2017 22:11:35 -0400 Subject: Add (partially admitted) integration tests for add, sub, opp --- .../NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.v | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.v (limited to 'src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.v') 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. -- cgit v1.2.3