Tests demonstrating pointer-encoding unsoundness#5823

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:pointer-encoding-teststautschnig/cbmc:pointer-encoding-testsCopy head branch name to clipboard