Skip to content
VeriFast (negative)

Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani #1222

Sign in to view logs

Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani

Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani #1222

Workflow file for this run

.github/workflows/verifast-negative.yml at cda2105
# 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: Run VeriFast Verification
run: verifast-proofs/check-verifast-proofs-negative.sh