JBMC: run add-failed-symbols on a per-function basis#1741

Merged

smowton merged 4 commits intodiffblue:developfrom

smowton:smowton/feature/add_failed_symbols_per_function

Jan 26, 2018

Commits on Jan 24, 2018

Journalling symbol table: enable nesting
smowton
committed

Commits on Jan 25, 2018