From b0bbfb3e62a9a8318c768ced76348b142c952828 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 2 Oct 2020 08:23:50 +0200
Subject: [PATCH] [wp] Fixes VCS mode in stmtcompiler tests
---
src/plugins/wp/tests/wp/stmtcompiler_test.ml | 2 +-
src/plugins/wp/tests/wp/stmtcompiler_test_rela.ml | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/wp/tests/wp/stmtcompiler_test.ml b/src/plugins/wp/tests/wp/stmtcompiler_test.ml
index ab8fd28f71a..e104a2e5c46 100644
--- a/src/plugins/wp/tests/wp/stmtcompiler_test.ml
+++ b/src/plugins/wp/tests/wp/stmtcompiler_test.ml
@@ -22,7 +22,7 @@ let run () =
(fun pname prvs -> match VCS.parse_prover pname with
| None -> prvs
| Some VCS.Tactical -> prvs
- | Some prv -> (VCS.BatchMode, prv) :: prvs)
+ | Some prv -> (VCS.Batch, prv) :: prvs)
["qed"] []
in
diff --git a/src/plugins/wp/tests/wp/stmtcompiler_test_rela.ml b/src/plugins/wp/tests/wp/stmtcompiler_test_rela.ml
index ee5548356cc..9770e9b4295 100644
--- a/src/plugins/wp/tests/wp/stmtcompiler_test_rela.ml
+++ b/src/plugins/wp/tests/wp/stmtcompiler_test_rela.ml
@@ -21,7 +21,7 @@ let run () =
(fun pname prvs -> match VCS.parse_prover pname with
| None -> prvs
| Some VCS.Tactical -> prvs
- | Some prv -> (VCS.BatchMode, prv) :: prvs)
+ | Some prv -> (VCS.Batch, prv) :: prvs)
["alt-ergo"] []
in
--
GitLab