From 854eab28ec18107294914738acd936215b99f0fa Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Wed, 26 Jun 2024 15:25:24 -0700 Subject: [PATCH] ci: pin yices2=2.6.4 (#320) --- .github/workflows/test-external.yml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml index 43b9f728..aa11b2e3 100644 --- a/.github/workflows/test-external.yml +++ b/.github/workflows/test-external.yml @@ -87,9 +87,12 @@ jobs: - name: Install Yices 2 SMT solver run: | - sudo add-apt-repository ppa:sri-csl/formal-methods - sudo apt-get update - sudo apt-get install yices2 + wget https://github.com/SRI-CSL/yices2/releases/download/Yices-2.6.4/yices-2.6.4-x86_64-pc-linux-gnu.tar.gz + tar -xzvf yices-2.6.4-x86_64-pc-linux-gnu.tar.gz + sudo mv yices-2.6.4/bin/* /usr/local/bin/ + sudo mv yices-2.6.4/lib/* /usr/local/lib/ + sudo mv yices-2.6.4/include/* /usr/local/include/ + rm -rf yices-2.6.4 - name: Test external repo run: ${{ matrix.project.cmd }} --statistics --solver-timeout-assertion 0 --solver-threads 4 --solver-command yices-smt2 ${{ matrix.cache-solver }} ${{ inputs.halmos-options }}