Merge branch 'main' into verifast-linked-list #37
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.07/verifast-25.07-linux.tar.gz | |
| # https://github.com/verifast/verifast/attestations/8998468 | |
| echo '48d2c53b4a6e4ba6bf03bd6303dbd92a02bfb896253c06266b29739c78bad23b verifast-25.07-linux.tar.gz' | shasum -a 256 -c | |
| tar xf verifast-25.07-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.07/bin:$PATH | |
| cd verifast-proofs | |
| bash check-verifast-proofs-negative.sh |