Evaluating object_size requires pointer_logic.objects fully populated#53

Merged

kroening merged 1 commit intodiffblue:masterfrom

tautschnig:pointer-logic-bugfix

Jun 21, 2016

Commits on Jun 21, 2016

pointer_logic.objects must be fully populated before evaluating object_size
tautschnig
committed