Cover (and others) for reachable functions only#671

kroening merged 3 commits intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:cover-for-reachable-fun-onlypeterschrammel/cbmc:cover-for-reachable-fun-onlyCopy head branch name to clipboard