Add comment explaining unusual layout where body of test is in a function#2392

NathanJPhillips merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:cleanup/small_map_layoutNathanJPhillips/cbmc:cleanup/small_map_layoutCopy head branch name to clipboard