VeriFast (negative)

LLM-generated contracts for `__iterator_get_unchecked` #723

Sign in to view logs

Triggered via pull request August 6, 2025 01:33

feliperodri

synchronize #435

vonaka:llm_contracts_iterator_get_unchecked

Status Success

Total duration 32s

Artifacts –

verifast-negative.yml

on: pull_request

Verify std library