[WIP] Symex: report reachability of properties#6700

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:feature/reachability-reportingtautschnig/cbmc:feature/reachability-reportingCopy head branch name to clipboard