Update Unicorn

cnheitman · Dec 20, 2024 · 8c18dc8 · 8c18dc8
1 parent f37104d
commit 8c18dc8
Showing 1 changed file with 5 additions and 6 deletions.
diff --git 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