Coverage: support instrumenting one function at a time#1744

Merged

smowton merged 2 commits intodiffblue:developfrom

smowton:smowton/feature/instrument_cover_per_function

Jan 30, 2018

Commits on Jan 26, 2018

Provide function name in goto_model_functiont
smowton
committed

Commits on Jan 29, 2018

Coverage: fully support instrumenting one function at a time
smowton
committed