Feature invariant cleanup flattening/boolbv_equality.cpp#3038

Merged

tautschnig merged 2 commits intodiffblue:developfrom

hannes-steffenhagen-diffblue:feature-invariant_cleanup-flattening-boolbv_equality

Sep 25, 2018

Commits on Sep 25, 2018