Cleanup asserts & throws - replace with invariants - dir util/s* (part1)#2898

Merged

tautschnig merged 2 commits intodiffblue:developfrom

sonodtt:invariant-cleanup-util_dir-s_files-part1

Sep 28, 2018

Commits on Sep 28, 2018

Cleanup asserts & throws - replace with invariants

Sonny Martin
authored and
hannes-steffenhagen-diffblue
committed
Refactor simplify_floatbv_typecast
hannes-steffenhagen-diffblue
committed