VeriFast solution for Challenge 5 (linked_list.rs) #4
Workflow file for this run
This file contains 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
| name: VeriFast | |
| 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/24.12/verifast-24.12-linux.tar.gz | |
| # https://github.com/verifast/verifast/attestations/3689894 | |
| echo '51bebf990f31666abcd3675000e7714ef79b417390e930953ef25383e8d59421 verifast-24.12-linux.tar.gz' | shasum -a 256 -c | |
| tar xf verifast-24.12-linux.tar.gz | |
| - name: Install the Rust toolchain used by VeriFast | |
| run: rustup toolchain install nightly-2024-11-23 | |
| - name: Run VeriFast Verification | |
| run: | | |
| export PATH=~/verifast-24.12/bin:$PATH | |
| cd verifast-proofs | |
| mysh check-verifast-proofs.mysh |