Add test showing faulty synchronized behaviour#1230

thk123 merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

reuk:reuk/synchronized-testreuk/cbmc:reuk/synchronized-testCopy head branch name to clipboard