goto-check: skip array bounds checks for unbounded (non-constant-size) arrays#9070

tautschnig wants to merge 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:strata/goto-check-skip-unbounded-array-boundstautschnig/cbmc:strata/goto-check-skip-unbounded-array-boundsCopy head branch name to clipboard