From 8458a2a4bad8fb2c93598a2aef0f510fbc5e5d95 Mon Sep 17 00:00:00 2001 From: Christian Heitman Date: Fri, 20 Dec 2024 14:12:44 -0300 Subject: [PATCH] Update Unicorn --- .github/workflows/osx.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml index 24f5ccdf3..41730ea4f 100644 --- a/.github/workflows/osx.yml +++ b/.github/workflows/osx.yml @@ -86,7 +86,7 @@ jobs: Z3_LIBRARIES: ${{ github.workspace }}/z3-4.13.3-arm64-osx-13.7/bin/libz3.a - name: Unittests - run: - # 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. + run: | + : # 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. DYLD_LIBRARY_PATH=/usr/local/lib/ ctest --test-dir build --output-on-failure