Add a little more detail and discussion on irept#2769

peterschrammel merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/docs/ireptsmowton/cbmc:smowton/docs/ireptCopy head branch name to clipboard