From 8c18dc80831b386b7e6dc8db277fa2cfa652897b Mon Sep 17 00:00:00 2001 From: Christian Heitman Date: Fri, 20 Dec 2024 14:15:02 -0300 Subject: [PATCH] Update Unicorn --- .github/workflows/osx.yml | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml index 3635bcb67..f9f0dff96 100644 --- a/.github/workflows/osx.yml +++ b/.github/workflows/osx.yml @@ -2,9 +2,6 @@ name: Tests on OSX on: [push, pull_request, workflow_dispatch] -# NOTE Tests will fail because currently they only pass with Unicorn -# v2.0.0. However, Unicorn v2.0.0 does not build on the macos-14 runner. - jobs: build: # macos-13 = x86 @@ -88,6 +85,8 @@ jobs: Z3_INCLUDE_DIRS: ${{ github.workspace }}/z3-4.13.3-arm64-osx-13.7/include Z3_LIBRARIES: ${{ github.workspace }}/z3-4.13.3-arm64-osx-13.7/bin/libz3.a - - name: Unittests - run: | - DYLD_LIBRARY_PATH=/usr/local/lib/ ctest --test-dir build --output-on-failure + # NOTE Tests will fail because currently they only pass with Unicorn + # v2.0.0. However, Unicorn v2.0.0 does not build on the macos-14 runner. + - name: Unittests + run: | + DYLD_LIBRARY_PATH=/usr/local/lib/ ctest --test-dir build --output-on-failure