VeriFast (negative) #1004
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This workflow runs some negative VeriFast test cases, to ensure | |
| # that VeriFast actually catches bugs. | |
| name: VeriFast (negative) | |
| on: | |
| workflow_dispatch: | |
| merge_group: | |
| pull_request: | |
| branches: [ main ] | |
| push: | |
| paths: | |
| - 'library/**' | |
| - '.github/workflows/verifast.yml' | |
| - 'verifast-proofs/**' | |
| defaults: | |
| run: | |
| shell: bash | |
| jobs: | |
| check-verifast-on-std: | |
| name: Verify std library | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Repository | |
| uses: actions/checkout@v4 | |
| - name: Install VeriFast | |
| run: | | |
| cd ~ | |
| curl -OL https://github.com/verifast/verifast/releases/download/25.08/verifast-25.08-linux.tar.gz | |
| # https://github.com/verifast/verifast/attestations/10123891 | |
| echo '1e40019d6add91bf72141c86f4007f2fe1eef67f453cb7fb8f1f5ab7d31d509f verifast-25.08-linux.tar.gz' | shasum -a 256 -c | |
| tar xf verifast-25.08-linux.tar.gz | |
| - name: Install the Rust toolchain used by VeriFast | |
| run: rustup toolchain install nightly-2025-04-09 | |
| - name: Run VeriFast Verification | |
| run: | | |
| export PATH=~/verifast-25.08/bin:$PATH | |
| cd verifast-proofs | |
| bash check-verifast-proofs-negative.sh |