From 1a4effc13bacd79b27993ebd24d0fd51426532eb Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 24 Sep 2020 17:42:34 +0200
Subject: [PATCH] [wp] Strategies use the right prover list
---
src/plugins/wp/GuiGoal.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/wp/GuiGoal.ml b/src/plugins/wp/GuiGoal.ml
index c9693efd719..6444533328f 100644
--- a/src/plugins/wp/GuiGoal.ml
+++ b/src/plugins/wp/GuiGoal.ml
@@ -665,9 +665,10 @@ class pane (gprovers : GuiConfig.provers) =
self#search proof fork
else
begin
+ let provers = List.map (fun e -> e#prover) provers in
ProverScript.search
~depth ~width ~auto
- ~provers:[ VCS.NativeAltErgo ]
+ ~provers
~result:
(fun wpo prv res ->
text#printf "[%a] %a : %a@."
--
GitLab