Fix for arrays containing structs will null pointers#1009

Merged

kroening merged 5 commits intodiffblue:masterfrom

thk123:bugfix/arrays-structs-null-pointers

Jul 3, 2017

Commits on Jun 13, 2017

Added test for array containing a zero struct
thk123
committed
Improved the interface of remove_const_functions
thk123
committed
Making the approx and precise FP removal tests more precise
thk123
committed
Fixed null pointer related bug
thk123
committed
Replace assert with appropriate invariant
thk123
committed