Skip to content
VeriFast (negative)

LLM-generated contracts #952

Sign in to view logs

LLM-generated contracts

LLM-generated contracts #952

Triggered via pull request October 8, 2025 15:51
@feliperodrifeliperodri
synchronize #473
vonaka:llm_contracts_ty_invariants
Status Success
Total duration 25s
Artifacts –

verifast-negative.yml

on: pull_request
Verify std library
18s
Verify std library
Fit to window
Zoom out
Zoom in