[build]: configure the provers via easycrypt.project

strub · strub · commit 6a29c79d40d1 · 2024-07-19T20:31:45.000+02:00
diff --git a/Makefile b/Makefile
@@ -6,12 +6,10 @@ ECARGS    ?=
 ECTOUT    ?= 10
 ECJOBS    ?= 0
 ECEXTRA   ?= --report=report.log
-ECPROVERS ?= Alt-Ergo@2.4 Z3@4.12 CVC5@1.0
 CHECKPY   ?=
 CHECK     := $(CHECKPY) scripts/testing/runtest
 CHECK     += --bin=./ec.native
 CHECK     += --jobs="$(ECJOBS)"
-CHECK     += $(foreach prover,$(ECPROVERS),--bin-args=-p --bin-args="$(prover)")
 CHECK     += --bin-args=-timeout --bin-args="$(ECTOUT)"
 CHECK     += $(foreach arg,$(ECARGS),--bin-args="$(arg)")
 CHECK     += $(ECEXTRA) config/tests.config
diff --git a/easycrypt.project b/easycrypt.project
@@ -0,0 +1,4 @@
+[general]
+provers = Alt-Ergo@2.4
+provers = CVC5@1.0
+provers = Z3@4.12

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +[general]
 +provers = [email protected]
 +provers = [email protected]
 +provers = [email protected]