Skip to content

Generate index access constraints for maps and arrays - #1196

Open
lorchrob wants to merge 15 commits into
kind2-mc:mainfrom
lorchrob:index-access-bounds
Open

Generate index access constraints for maps and arrays#1196
lorchrob wants to merge 15 commits into
kind2-mc:mainfrom
lorchrob:index-access-bounds

Clean up test cases to pass bounds checks, and remove unused code

0a9e040
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors

The logs for this run have expired and are no longer available.