VeriFast

Move std-analysis.sh script from Kani repository #48

Sign in to view logs

Triggered via pull request March 3, 2025 14:46

tautschnig

synchronize #261

tautschnig:move-metrics-script

Status Success

Total duration 30s

Artifacts –

verifast.yml

on: pull_request

Verify std library