VeriFast (negative)

Add loop invariant and harness for `repeat` #939

Sign in to view logs

Triggered via pull request September 25, 2025 17:19

thanhnguyen-aws

synchronize #468

thanhnguyen-aws:repeatinvariant

Status Success

Total duration 30s

Artifacts –

verifast-negative.yml

on: pull_request

Verify std library