Replace unsigned with appropriate type#1541

Merged

kroening merged 1 commit intodiffblue:developfrom

owen-mc-diffblue:replace-unsigned-with-number-type

Oct 31, 2017

Commits on Oct 31, 2017

Replace unsigned with appropriate type
Owen Jones
committed