From a486654d380c3fde0ac88d1f3259dc8a61a1c793 Mon Sep 17 00:00:00 2001 From: Gus Smith Date: Wed, 13 Dec 2023 08:47:54 -0800 Subject: [PATCH] Convert new tests.yml code to match existing style --- .github/workflows/tests.yml | 20 +++++++++++++++----- 1 file changed, 15 insertions(+), 5 deletions(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 5656ea27..463d7453 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -7,6 +7,8 @@ env: BOOLECTOR_URL: "https://github.com/Boolector/boolector/archive/3.2.1.tar.gz" CVC5_URL: "https://github.com/cvc5/cvc5/releases/download/cvc5-1.0.7/cvc5-Linux" BITWUZLA_URL: "https://github.com/bitwuzla/bitwuzla/archive/93a3d930f622b4cef0063215e63b7c3bd10bd663.tar.gz" + STP_URL: "https://github.com/stp/stp/archive/0510509a85b6823278211891cbb274022340fa5c.tar.gz" + YICES2_URL: "https://github.com/SRI-CSL/yices2/archive/e27cf308cffb0ecc6cc7165c10e81ca65bc303b3.tar.gz" jobs: test: @@ -59,9 +61,10 @@ jobs: popd && cp bitwuzla/build/src/main/bitwuzla bin/ && sudo apt-get install -y git cmake bison flex libboost-all-dev python2 perl && - git clone https://github.com/stp/stp && + wget $STP_URL -nv -O stp.tar.gz && + mkdir stp && + tar xzf stp.tar.gz -C stp --strip-components=1 && pushd stp && - git submodule init && git submodule update && ./scripts/deps/setup-gtest.sh && ./scripts/deps/setup-outputcheck.sh && ./scripts/deps/setup-cms.sh && @@ -73,9 +76,16 @@ jobs: popd && popd && cp stp/build/stp bin/stp && - sudo add-apt-repository -y ppa:sri-csl/formal-methods && - sudo apt-get update && - sudo apt-get install -y yices2 + sudo apt-get install -y gperf && + wget $YICES2_URL -nv -O yices2.tar.gz && + mkdir yices2 && + tar xvf yices2.tar.gz -C yices2 --strip-components=1 && + pushd yices2 && + autoconf && + ./configure && + make && + popd && + cp yices2/build/x86_64-pc-linux-gnu-release/bin/yices_smt2 bin/yices_smt2 - name: Install Rosette run: raco pkg install --auto --name rosette - name: Compile Rosette tests