Incremental SMT2: Add size limit to array element retrieval#8902

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-8071-smt2-incr-large-arraytautschnig/cbmc:fix-8071-smt2-incr-large-arrayCopy head branch name to clipboard