Use both alt-ergo 2.4.2 and 2.5.3

haslab · Jun 14, 2024 · db0ab48 · db0ab48
1 parent 9388149
commit db0ab48
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml
@@ -20,6 +20,8 @@ jobs:
         opam update
         opam install why3.1.6.0
         opam install alt-ergo.2.4.2
+        cp ~/.opam/default/bin/alt-ergo ~/.opam/default/bin/alt-ergo.2.4.2
+        opam install alt-ergo.2.5.3
         opam install eprover.2.6
         # it's possible to install z3 as follows
         # opam install z3.4.11.2