Lazy methods: allow driver program to provide stubs#2124

Merged

smowton merged 3 commits intodiffblue:developfrom

smowton:smowton/feature/fallback-function-provider

May 15, 2018

Commits on May 14, 2018

Lazy goto model: hook for driver program to replace or stub functions
smowton
committed

Commits on May 15, 2018