Cover-function-only support#758

peterschrammel merged 2 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

smowton:feature/cover-function-onlysmowton/cbmc:feature/cover-function-onlyCopy head branch name to clipboard