LLM-generated contracts for __iterator_get_unchecked#435

feliperodri merged 7 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

vonaka:llm_contracts_iterator_get_uncheckedvonaka/verify-rust-std:llm_contracts_iterator_get_uncheckedCopy head branch name to clipboard