VeriFast (negative)

Update Kani Metrics #1033

Sign in to view logs

Triggered via pull request January 26, 2026 11:53

tautschnig

reopened #534

update-kani-metrics

Status Success

Total duration 34s

Artifacts –

verifast-negative.yml

on: pull_request

Verify std library