Skip to content

Commit

Permalink
update test installation
Browse files Browse the repository at this point in the history
  • Loading branch information
belolourenco committed Jun 14, 2024
1 parent 08f564d commit b7f2e12
Showing 1 changed file with 21 additions and 25 deletions.
46 changes: 21 additions & 25 deletions .github/workflows/set-up-environment.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,11 +21,15 @@ jobs:
opam install why3.1.6.0
# install both alt-ergo 2.4.2 and alt-ergo 2.5.3
opam install alt-ergo.2.4.2
opam install eprover.2.6
eval $(opam env)
cp $(which alt-ergo) $(which alt-ergo)-2.4.2
cp $(which eprover) $(which eprover)-2.6
opam install alt-ergo.2.5.3
opam install eprover-3.0
eval $(opam env)
cp $(which alt-ergo) $(which alt-ergo)-2.5.3
cp $(which eprover) $(which eprover)-2.6
opam install eprover.3.0
- name: download z3, cvc4, and cvc5
run: |
Expand All @@ -34,41 +38,33 @@ jobs:
wget $CVC4_URL
chmod +x ${CVC4_URL##*/}
mv ${CVC4_URL##*/} /usr/local/bin/cvc4
# echo "deb http://cvc4.cs.nyu.edu/debian/ unstable/" | sudo tee -a /etc/apt/sources.list
# echo "deb-src http://cvc4.cs.nyu.edu/debian/ unstable/" | sudo tee -a /etc/apt/sources.list
# sudo apt-get update
# sudo apt-get install cvc4 --force-yes
wget $CVC5_URL
chmod +x ${CVC5_URL##*/}
mv ${CVC5_URL##*/} /usr/local/bin/cvc5
# also possible to use opam to install z3, but the compilation is very slow
wget $Z3_URL
z3folder=${Z3_URL##*/}
unzip $z3folder
mv ${z3folder%.*}/bin/z3 /usr/local/bin
- name: test installation
run: |
eval $(opam env)
echo "which why3"
which why3
echo "why3 version"
why3 --version
echo "which alt-ergo"
which alt-ergo
echo "alt-ergo --version"
alt-ergo --version
echo "which z3"
which z3
echo "z3 --version"
z3 --version
echo "which cvc4"
which cvc4
echo "cvc4 --version"
cvc4 --version
echo "which cvc5"
which cvc5
echo "cvc5 --version"
cvc5 --version
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
cmd=which $tool
echo $cmd
eval $cmd
cmd=$tool --version
echo $cmd
eval $cmd
done
- name: replay proofs
run: |
echo "eval $(opam env)"
Expand Down

0 comments on commit b7f2e12

Please sign in to comment.