Remove montladder output tests

Closes #1564
mit-plv · Mar 27, 2023 · c81f798 · c81f798
1 parent 7756345
commit c81f798
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 73 deletions.
diff --git a/Makefile b/Makefile
@@ -144,15 +144,6 @@ OUTPUT_PREOUTS := \
 	Crypto.UnsaturatedSolinasHeuristics.Tests.get_possible_limbs \
 	Crypto.UnsaturatedSolinasHeuristics.Tests.get_balances
 
-ifneq ($(SKIP_BEDROCK2),1)
-OUTPUT_VOS += \
-	src/Bedrock/Group/ScalarMult/LadderStep.vo \
-	src/Bedrock/Group/ScalarMult/MontgomeryLadder.vo
-OUTPUT_PREOUTS += \
-	Crypto.Bedrock.Group.ScalarMult.LadderStep.ladderstep_body \
-	Crypto.Bedrock.Group.ScalarMult.MontgomeryLadder.montladder_body
-endif
-
 CHECK_OUTPUTS := $(addprefix check-,$(OUTPUT_PREOUTS))
 ACCEPT_OUTPUTS := $(addprefix accept-,$(OUTPUT_PREOUTS) fiat-amd64.test)
 

diff --git a/output-tests/Crypto.Bedrock.Group.ScalarMult.LadderStep.ladderstep_body.expected b/output-tests/Crypto.Bedrock.Group.ScalarMult.LadderStep.ladderstep_body.expected
diff --git a/output-tests/Crypto.Bedrock.Group.ScalarMult.MontgomeryLadder.montladder_body.expected b/output-tests/Crypto.Bedrock.Group.ScalarMult.MontgomeryLadder.montladder_body.expected