[RFC] Two new failing tests demonstrating updates outside member bounds#6101

Draft

tautschnig wants to merge 3 commits intodiffblue:developfrom

tautschnig:member-bounds

Commits on May 11, 2021

Do not unnecessarily restrict byte update lowering of arrays
tautschnig
committed
Two new failing tests demonstrating updates outside member bounds
tautschnig
committed
goto-symex: optionally support updates across member boundaries
tautschnig
committed