VeriFast (negative)

Add a tour of the RawVec proof #983

Sign in to view logs

Triggered via pull request October 21, 2025 09:32

btj

synchronize #481

btj:rawvec-tour

Status Success

Total duration 30s

Artifacts –

verifast-negative.yml

on: pull_request

Verify std library