Replace objectt with optional<mp_integer>#1629

Merged

tautschnig merged 4 commits intodiffblue:developfrom

owen-mc-diffblue:owen-jones-diffblue/refactor-vsa-objectt

Nov 30, 2017

Commits on Nov 30, 2017

Replace objectt with optional<mp_integer>
Owen Jones
committed
Replace objectt in value_set_fi.*
Owen Jones
committed
Replace objectt in value_set_fivr.*
Owen Jones
committed
Replace objectt in value_set_fivrns.*
Owen Jones
committed