Fixed show-call-sequences feature of goto instrument; added test suite#1217

Merged

tautschnig merged 2 commits intodiffblue:developfrom

KPouliasis:show_functions_dfs

Oct 23, 2017

Commits on Sep 7, 2017

Fixed show-call-sequences deature of goto instrument; added test suite
constantinos-p
committed

Commits on Sep 22, 2017

Merge branch 'develop' into show_functions_dfs
Daniel Kroening
authored