VeriFast

LLM-generated contracts #966

Sign in to view logs

Triggered via pull request October 8, 2025 15:51

feliperodri

synchronize #473

vonaka:llm_contracts_ty_invariants

Status Success

Total duration 24s

Artifacts –

verifast.yml

on: pull_request

Verify std library