Union regression test of unspecified behaviour#5704

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:union-test-2tautschnig/cbmc:union-test-2Copy head branch name to clipboard