Initialize pointer width in `instantiate_not_contains` unit test#1553

mgudemann merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

mgudemann:bugfix/initialize_pointer_width_in_unit_testmgudemann/cbmc:bugfix/initialize_pointer_width_in_unit_testCopy head branch name to clipboard