Fix incorrect kani::index example in loop-contracts documentation#4539
Open
tautschnig wants to merge 1 commit intomodel-checking:mainfrom
Open
Fix incorrect kani::index example in loop-contracts documentation#4539tautschnig wants to merge 1 commit intomodel-checking:mainfrom
tautschnig wants to merge 1 commit intomodel-checking:mainfrom
