Fixed a bug in local_bitvector_analysis wherein an expression's ID was used in place of the expression's type's ID.#2626

Merged

kroening merged 2 commits intodiffblue:developfrom

qaphla:local_bitvector_analysis_fix

Jul 30, 2018

Commits on Jul 27, 2018

Fixed a bug in local_bitvector_analysis wherein an expression's ID was
klaas
committed
Fixed secondary issues arising from local_bitvector_analysis fix.
klaas
committed