Array theory: gracefully handle negative out-of-bounds access#6772

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:bugfixes/array-oob

Mar 30, 2022

Commits on Mar 29, 2022

Array theory: gracefully handle negative out-of-bounds access
tautschnig
committed