Add a test-suite target so swe bench can uniformly test different com…

…mits from different branches of fiat-crypto

Makefile

@@ -39,7 +39,8 @@ SKIP_ICC?=
 	print-nonautogenerated-specific print-nonautogenerated-specific-display nonautogenerated-specific-display-test \
 	print-old-pipeline-lite-hardcoded old-pipeline-lite-hardcoded lite-display-hardcoded lite-display-test-hardcoded \
 	print-old-pipeline-nobigmem-hardcoded old-pipeline-nobigmem-hardcoded \
-	regenerate-curves
+	regenerate-curves \
+	test-suite
 
 SORT_COQPROJECT = sed 's,[^/]*/,~&,g' | env LC_COLLATE=C sort | sed 's,~,,g' | uniq
 
@@ -231,6 +232,8 @@ nonautogenerated-specific-display-test: $(NONAUTOGENERATED_SPECIFIC_DISPLAY_VO:.
 nonautogenerated-c: $(filter-out $(UNMADE_C_FILES),$(NONAUTOGENERATED_SPECIFIC_DISPLAY_VO:Display.vo=.c) $(NONAUTOGENERATED_SPECIFIC_DISPLAY_VO:Display.vo=.h))
 display: $(DISPLAY_VO:.vo=.log)
 
+test-suite: selected-specific-display-test
+
 print-display::
 	@ echo $(DISPLAY_VO:.vo=.log)