From d33985eaa7eef04ffc784e7f3ac7f64068c6fab1 Mon Sep 17 00:00:00 2001
From: claudio <belolourenco@gmail.com>
Date: Fri, 14 Jun 2024 10:30:32 +0100
Subject: [PATCH] Use both alt-ergo 2.4.2 and 2.5.3

---
 .github/workflows/set-up-environment.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml
index 80502c8..39bd80e 100644
--- a/.github/workflows/set-up-environment.yml
+++ b/.github/workflows/set-up-environment.yml
@@ -20,6 +20,9 @@ jobs:
         opam update
         opam install why3.1.6.0
         opam install alt-ergo.2.4.2
+        eval $(opam env)
+        cp $(which alt-ergo) $(which 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