Upgrade macOS version in GitHub Actions (rust-lang#1404)

Author: adpaco-aws

.github/workflows/kani.yml

@@ -8,7 +8,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [macos-10.15, ubuntu-18.04, ubuntu-20.04]
+        os: [macos-11, ubuntu-18.04, ubuntu-20.04]
     steps:
       - name: Checkout Kani
         uses: actions/checkout@v2
@@ -94,9 +94,9 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [macos-10.15, ubuntu-18.04]
+        os: [macos-11, ubuntu-18.04]
         include:
-          - os: macos-10.15
+          - os: macos-11
             artifact: kani-latest-x86_64-apple-darwin.tar.gz
           - os: ubuntu-18.04
             artifact: kani-latest-x86_64-unknown-linux-gnu.tar.gz
@@ -136,7 +136,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-10.15' }}
+        if: ${{ matrix.os == 'macos-11' }}
         run: |
           cargo install --path ./target/package/kani-verifier-*[^e]
           cargo-kani setup --use-local-bundle ./${{ matrix.artifact }}

.github/workflows/release.yml

@@ -58,9 +58,9 @@ jobs:
       contents: write
     strategy:
       matrix:
-        os: [macos-10.15, ubuntu-18.04]
+        os: [macos-11, ubuntu-18.04]
         include:
-          - os: macos-10.15
+          - os: macos-11
             target: x86_64-apple-darwin
           - os: ubuntu-18.04
             target: x86_64-unknown-linux-gnu

docs/src/build-from-source.md

@@ -37,15 +37,15 @@ source $HOME/.cargo/env
 
 ### Install dependencies on macOS
 
-Support is available for macOS 10.15+. You need to have [Homebrew](https://brew.sh/) installed already.
+Support is available for macOS 11. You need to have [Homebrew](https://brew.sh/) installed already.
 
 ```
 # git clone [email protected]:model-checking/kani.git
 git clone https://github.com/model-checking/kani.git
 cd kani
 git submodule update --init
-./scripts/setup/macos-10.15/install_deps.sh
-./scripts/setup/macos-10.15/install_cbmc.sh
+./scripts/setup/macos/install_deps.sh
+./scripts/setup/macos/install_cbmc.sh
 ./scripts/setup/install_viewer.sh
 # If you haven't already:
 ./scripts/setup/install_rustup.sh

scripts/setup/macos-10.15

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

scripts/setup/macos-11

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

scripts/setup/macos-10.15/install_cbmc.sh renamed to scripts/setup/macos/install_cbmc.sh

@@ -12,7 +12,7 @@ if [ -z "${CBMC_VERSION:-}" ]; then
   exit 1
 fi
 
-# Install CBMC for macOS 10.15 from CBMC tap
+# Install CBMC for macOS from CBMC tap
 # https://github.com/diffblue/cbmc/blob/develop/doc/ADR/homebrew_tap.md
 brew tap diffblue/cbmc
 brew install diffblue/cbmc/cbmc@${CBMC_VERSION}