index_exprt enforces array or vector type#7018

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

index_array_typediffblue/cbmc:index_array_typeCopy head branch name to clipboard