Update our CI to run on MacOS 12 instead of 11 (rust-lang#2828)

Update the CI to use MacOS 12 instead of MacOS 11. I'm leaving this as a
draft until I can validate that the bundle works on MacOS 11.

Resolves rust-lang#2827

Author: celinval

.github/workflows/cbmc-latest.yml

@@ -19,7 +19,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [macos-11, ubuntu-20.04, ubuntu-22.04]
+        os: [macos-12, ubuntu-20.04, ubuntu-22.04]
     steps:
       - name: Checkout Kani under "kani"
         uses: actions/checkout@v3

.github/workflows/kani.yml

@@ -17,7 +17,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [macos-11, ubuntu-20.04, ubuntu-22.04]
+        os: [macos-12, ubuntu-20.04, ubuntu-22.04]
     steps:
       - name: Checkout Kani
         uses: actions/checkout@v3
@@ -149,9 +149,9 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [macos-11]
+        os: [macos-12]
         include:
-          - os: macos-11
+          - os: macos-12
             artifact: kani-latest-x86_64-apple-darwin.tar.gz
     steps:
       - name: Checkout Kani
@@ -170,7 +170,7 @@ jobs:
       # We can't run macos in a container, so we can only test locally.
       # Hopefully any dependency issues won't be unique to macos.
       - name: Local install test
-        if: ${{ matrix.os == 'macos-11' }}
+        if: ${{ matrix.os == 'macos-12' }}
         run: |
           cargo install --path ./target/package/kani-verifier-*[^e]
           cargo-kani setup --use-local-bundle ./${{ matrix.artifact }}

.github/workflows/release.yml

@@ -52,7 +52,7 @@ jobs:
   MacOs-Bundle:
     name: MacOs-Bundle
     needs: Release
-    runs-on: macos-11
+    runs-on: macos-12
     permissions:
       contents: write
     steps:
@@ -62,7 +62,7 @@ jobs:
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
-          os: macos-11
+          os: macos-12
 
       - name: Build release bundle
         run: |

.github/workflows/slow-tests.yml

@@ -18,7 +18,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [macos-11, ubuntu-20.04, ubuntu-22.04]
+        os: [macos-12, ubuntu-20.04, ubuntu-22.04]
     steps:
       - name: Checkout Kani
         uses: actions/checkout@v3

scripts/setup/macos-12

@@ -0,0 +1 @@
+macos

scripts/setup/macos/install_viewer.sh

@@ -17,4 +17,6 @@ fi
 set -x
 
 # brew doesn't recognize specific versions of viewer
-brew install aws/tap/cbmc-viewer
+# Build from source, since there's only a macos-12 bottle which doesn't seem to work.
+brew install -s aws/tap/cbmc-viewer
+echo "Installed: $(cbmc-viewer --version)"