Set base_name member for __CPROVER_start#6784

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/reachable-functionstautschnig/cbmc:bugfixes/reachable-functionsCopy head branch name to clipboard