From f0d870d0897c18de9672296f434103e371c68305 Mon Sep 17 00:00:00 2001 From: claudio Date: Fri, 14 Jun 2024 13:48:36 +0100 Subject: [PATCH] fix test --- .github/workflows/set-up-environment.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml index 982ca9c..1a96e88 100644 --- a/.github/workflows/set-up-environment.yml +++ b/.github/workflows/set-up-environment.yml @@ -49,8 +49,7 @@ jobs: run: | eval $(opam env) tools=(why3 alt-ergo-2.4.2 alt-ergo-2.5.3 eprover-2.6 eprover-3.0 z3 cvc4 cvc5) - for tool in "${tools}" - do + for tool in ${tools[@]}; do cmd="which ${tool}" echo $cmd eval $cmd