use a separate message for show_goto_functions() for the console#3165

Merged

kroening merged 6 commits intodevelopfrom

goto_functions_message

Oct 17, 2018

Commits on Oct 15, 2018

use a separate message for show_goto_functions() for the console
Daniel Kroening
committed
use color in show_goto_functions()
Daniel Kroening
committed

Commits on Oct 16, 2018

consolidate the two variants of show-goto-functions
Daniel Kroening
committed
remove unused header
Daniel Kroening
committed
remove goto_modelt::output and goto_functionst::output
Daniel Kroening
committed
show_goto_functions: sort alphabetically
Daniel Kroening
committed