add test cases to check MC/DC coverage instrumentation#289

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

lucasccordeiro:siemens_fix258_squashedlucasccordeiro/cbmc:siemens_fix258_squashedCopy head branch name to clipboard