Skip to content
Snippets Groups Projects
Commit b0bbfb3e authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp] Fixes VCS mode in stmtcompiler tests

parent 4b8c64ea
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/tests/wp/stmtcompiler_test.ml
+ 1
− 1
View file @ b0bbfb3e
...@@ -22,7 +22,7 @@ let run () = ...@@ -22,7 +22,7 @@ let run () =
(fun pname prvs -> match VCS.parse_prover pname with (fun pname prvs -> match VCS.parse_prover pname with
| None -> prvs | None -> prvs
| Some VCS.Tactical -> prvs | Some VCS.Tactical -> prvs
| Some prv -> (VCS.BatchMode, prv) :: prvs) | Some prv -> (VCS.Batch, prv) :: prvs)
["qed"] [] ["qed"] []
in in
......
src/plugins/wp/tests/wp/stmtcompiler_test_rela.ml
+ 1
− 1
View file @ b0bbfb3e
...@@ -21,7 +21,7 @@ let run () = ...@@ -21,7 +21,7 @@ let run () =
(fun pname prvs -> match VCS.parse_prover pname with (fun pname prvs -> match VCS.parse_prover pname with
| None -> prvs | None -> prvs
| Some VCS.Tactical -> prvs | Some VCS.Tactical -> prvs
| Some prv -> (VCS.BatchMode, prv) :: prvs) | Some prv -> (VCS.Batch, prv) :: prvs)
["alt-ergo"] [] ["alt-ergo"] []
in in
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment