Invariant cleanup in flattening/boolbv_index#3044

Merged

tautschnig merged 2 commits intodiffblue:developfrom

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

Sep 27, 2018

Commits on Sep 26, 2018

Replace to_integer with numeric_cast in boolbv_index
hannes-steffenhagen-diffblue
committed

Commits on Sep 27, 2018

Replace throws and asserts with invariants in boolbv_index
hannes-steffenhagen-diffblue
committed