Verify member expressions [blocks: #4023]#4021

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/verify-member-expressionssmowton/cbmc:smowton/feature/verify-member-expressionsCopy head branch name to clipboard