Add test verifying no invalid trace with dynamic array#4372

Merged

thk123 merged 2 commits intodiffblue:developfrom

thk123:invalid-trace-dynamic-array

Apr 2, 2019

Commits on Mar 29, 2019

Move invariant out of if

thk123
authored and
tautschnig
committed
Adding test demonstrating fix to trace generation

thk123
authored and
tautschnig
committed