diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 294d527fc..1cb0fed20 100644 --- a/_CoqProject +++ b/_CoqProject @@ -199,6 +199,8 @@ src/Spec/Test/X25519.v src/Specific/ArithmeticSynthesisTest.v src/Specific/ArithmeticSynthesisTest130.v src/Specific/IntegrationTestDisplayCommon.v +src/Specific/IntegrationTestFreeze.v +src/Specific/IntegrationTestFreezeDisplay.v src/Specific/IntegrationTestLadderstep.v src/Specific/IntegrationTestLadderstep130.v src/Specific/IntegrationTestLadderstep130Display.v |