call show_goto_functions

Peter Schrammel · Peter Schrammel · commit 45b68d54afae · 2016-06-17T15:41:18.000+01:00
diff --git a/src/cbmc/cbmc_parse_options.cpp b/src/cbmc/cbmc_parse_options.cpp
@@ -38,6 +38,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <goto-programs/loop_ids.h>
 #include <goto-programs/link_to_library.h>
 #include <goto-programs/remove_skip.h>
+#include <goto-programs/show_goto_functions.h>
 
 #include <goto-instrument/full_slicer.h>
 #include <goto-instrument/nondet_static.h>
@@ -965,7 +966,7 @@ bool cbmc_parse_optionst::process_goto_program(
     if(cmdline.isset("show-goto-functions"))
     {
       namespacet ns(symbol_table);
-      goto_functions.output(ns, std::cout);
+      show_goto_functions(ns, get_ui(), goto_functions);
       return true;
     }
   }

Original file line number	Diff line number	Diff line change
`@@ -38,6 +38,7 @@ Author: Daniel Kroening, [email protected]`
`38`	`38`	`#include <goto-programs/loop_ids.h>`
`39`	`39`	`#include <goto-programs/link_to_library.h>`
`40`	`40`	`#include <goto-programs/remove_skip.h>`
	`41`	`+#include <goto-programs/show_goto_functions.h>`
`41`	`42`
`42`	`43`	`#include <goto-instrument/full_slicer.h>`
`43`	`44`	`#include <goto-instrument/nondet_static.h>`
`@@ -965,7 +966,7 @@ bool cbmc_parse_optionst::process_goto_program(`
`965`	`966`	`if(cmdline.isset("show-goto-functions"))`
`966`	`967`	`{`
`967`	`968`	`namespacet ns(symbol_table);`
`968`		`- goto_functions.output(ns, std::cout);`
	`969`	`+ show_goto_functions(ns, get_ui(), goto_functions);`
`969`	`970`	`return true;`
`970`	`971`	`}`
`971`	`972`	`}`