av1-grain-macos.yml

#FIXME
# - valgrind cannot be installed on macos, only on linux
# - rust-code-analysis is not tested on macos, so no static analysis

name: av1-grain-macos

on:
  push:
    branches:
      - main
  pull_request:
    branches:
      - main

jobs:
  build-test:
    runs-on: macos-latest

    steps:
      - uses: actions/checkout@v3

      - name: Install Rust stable
        uses: actions-rs/toolchain@v1
        with:
          profile: minimal
          toolchain: stable
          override: true
          components: rustfmt, clippy

      - name: Run rustfmt
        uses: actions-rs/cargo@v1
        with:
          command: fmt
          args: -- --check --verbose

      - name: Run cargo clippy
        uses: actions-rs/clippy-check@v1
        with:
          token: ${{ secrets.GITHUB_TOKEN }}
          args: --all-targets --tests --benches -- -D warnings

      - name: Build
        run: cargo build --verbose --tests --benches

      - name: Run tests
        run: cargo test --verbose

      - name: Generate docs
        run: cargo doc --no-deps

  code-coverage:
    runs-on: macos-latest

    steps:
      - uses: actions/checkout@v3

      - name: Install Rust stable
        uses: actions-rs/toolchain@v1
        with:
          profile: minimal
          toolchain: stable
          override: true

      - name: Install grcov
        env:
          GRCOV_LINK: https://github.com/mozilla/grcov/releases/download
          GRCOV_VERSION: v0.8.7
        run: |
          curl -L "$GRCOV_LINK/$GRCOV_VERSION/grcov-x86_64-apple-darwin.tar.bz2" |
          tar xj -C $HOME/.cargo/bin

      - name: Install llvm-tools-preview
        run: |
          rustup component add llvm-tools-preview

      # Not necessary on a newly created image, but strictly advised
      - name: Run cargo clean
        run: |
          cargo clean

      - name: Run tests
        env:
          CARGO_INCREMENTAL: 0
          LLVM_PROFILE_FILE: "av1-grain-%p-%m.profraw"
          RUSTFLAGS: >
            -Cinstrument-coverage -Ccodegen-units=1 -Clink-dead-code
            -Coverflow-checks=off
          RUSTDOCFLAGS: >
            -Cinstrument-coverage -Ccodegen-units=1 -Clink-dead-code
            -Coverflow-checks=off
        run: |
          cargo test --verbose

      - name: Get coverage data for coveralls
        run: |
          grcov . --binary-path ./target/debug/ -s . -t lcov --branch \
                --ignore-not-existing --ignore "/*" --ignore "../*" -o lcov.info

      - name: Coveralls upload
        uses: coverallsapp/github-action@master
        with:
          github-token: ${{ secrets.GITHUB_TOKEN }}
          path-to-lcov: lcov.info

  #      - name: Get total coverage
  #        run: |
  #          grcov . --binary-path ./target/debug/ -t covdir -s . \
  #                --token YOUR_COVDIR_TOKEN > covdir.json
  #
  #      - name: Evaluate code coverage value
  #        shell: bash
  #        run: |
  #          # Retrieve code coverage associated to the repository
  #          FLOAT_COVERAGE=$(jq '.coveragePercent' covdir.json)
  #          # Round the float value to the nearest value
  #          COVERAGE_OUTPUT=$(printf "%.0f" $FLOAT_COVERAGE)
  #          # If code coverage >= 80, green traffic light
  #          if [ $COVERAGE_OUTPUT -ge 80 ]
  #          then
  #              echo "$COVERAGE_OUTPUT > 80 --> Green"
  #          # If code coverage is >=60 but < 80, orange traffic light
  #          elif [ $COVERAGE_OUTPUT -ge 60 ]
  #          then
  #              echo "60 <= $COVERAGE_OUTPUT < 80 --> Orange"
  #          # Otherwise, red traffic light
  #          else
  #              echo "$COVERAGE_OUTPUT < 60 --> Red"
  #              exit 1
  #          fi

  undefined-behaviour-fuzzy-dynamic-analysis:
    runs-on: macos-latest

    steps:
      - uses: actions/checkout@v3

      - name: Cache produced data
        uses: actions/cache@v3
        with:
          path: |
            ~/.cargo/bin/
            ~/.cargo/registry/index/
            ~/.cargo/registry/cache/
            ~/.cargo/git/db/
            target/
          key: ${{ runner.os }}-cargo-ci-${{ hashFiles('**/Cargo.toml') }}

      - name: Install Rust nightly and miri
        uses: actions-rs/toolchain@v1
        with:
          toolchain: nightly
          components: miri
          override: true

      # FIXME Use binaries
      - name: Install cargo-fuzz
        run: |
          cargo install cargo-fuzz --force

      - name: Run miri
        env:
          # -Zrandomize-layout makes sure not to rely on the layout of anything
          # that might change
          RUSTFLAGS: -Zrandomize-layout
          # -Zmiri-check-number-validity enables checking of integer and float
          # validity (e.g., they must be initialized and not carry
          # pointer provenance) as part of enforcing validity invariants.
          # -Zmiri-tag-raw-pointers enables a lot of extra UB checks relating
          # to raw pointer aliasing rules.
          # -Zmiri-symbolic-alignment-check makes the alignment check more strict.
          MIRIFLAGS: >
            -Zmiri-check-number-validity -Zmiri-tag-raw-pointers
            -Zmiri-symbolic-alignment-check
        run: cargo miri test

      # FIXME Create a template with a dummy series of fuzzy tests
      - name: Init cargo-fuzz
        run: cargo fuzz init

      - name: Run cargo-fuzz
        run: cargo fuzz build

  weighted-code-coverage:
    runs-on: macos-latest

    steps:
      - uses: actions/checkout@v3

      - name: Install stable
        uses: actions-rs/toolchain@v1
        with:
          profile: minimal
          toolchain: stable
          override: true

      - name: Install grcov
        env:
          GRCOV_LINK: https://github.com/mozilla/grcov/releases/download
          GRCOV_VERSION: v0.8.7
          GRCOV_BINARY: grcov-x86_64-apple-darwin.tar.bz2
        run: |
          curl -L "$GRCOV_LINK/$GRCOV_VERSION/$GRCOV_BINARY" |
          tar xj -C $HOME/.cargo/bin

      - name: Install weighted-code-coverage
        env:
          WCC_LINK: https://github.com/giovannitangredi/weighted-code-coverage/releases/download
          WCC_VERSION: v0.1.0
          WCC_BINARY: weighted-code-coverage-0.1.0-x86_64-apple-darwin.tar.gz
        run: |
          curl -L "$WCC_LINK/$WCC_VERSION/$WCC_BINARY" |
          tar xz -C $HOME/.cargo/bin

      - name: Install llvm-tools-preview
        run: |
          rustup component add llvm-tools-preview

      # Not necessary on a newly created image, but strictly advised
      - name: Run cargo clean
        run: |
          cargo clean

      - name: Run tests
        env:
          RUSTFLAGS: "-Cinstrument-coverage"
          LLVM_PROFILE_FILE: "av1-grain-%p-%m.profraw"
        run: |
          cargo test --verbose

      - name: Run grcov
        run: |
          grcov . --binary-path ./target/debug/ -t coveralls -s . --token YOUR_COVERALLS_TOKEN > coveralls.json

      - name: Run weighted-code-coverage
        run: |
          mkdir $HOME/wcc-output
          weighted-code-coverage -p src/ -j coveralls.json -c --json $HOME/wcc-output/out.json

      - name: Upload weighted-code-coverage data
        uses: actions/upload-artifact@v3
        with:
          name: weighted-code-coverage-macos
          path: ~/wcc-output/out.json