initialize_goto_model now returns a goto_model

Daniel Kroening · Daniel Kroening · commit 49554177f8f4 · 2017-10-20T07:59:48.000+01:00
diff --git a/src/jbmc/jbmc_parse_options.cpp b/src/jbmc/jbmc_parse_options.cpp
@@ -571,10 +571,7 @@ int jbmc_parse_optionst::get_goto_program(
 
   try
   {
-    if(initialize_goto_model(goto_model, cmdline, get_message_handler()))
-    // Remove all binaries from the command line as they
-    // are already compiled
-      return 6;
+    goto_model=initialize_goto_model(cmdline, get_message_handler());
 
     if(cmdline.isset("show-symbol-table"))
     {

Original file line number	Diff line number	Diff line change
`@@ -571,10 +571,7 @@ int jbmc_parse_optionst::get_goto_program(`
`571`	`571`
`572`	`572`	`try`
`573`	`573`	`{`
`574`		`- if(initialize_goto_model(goto_model, cmdline, get_message_handler()))`
`575`		`- // Remove all binaries from the command line as they`
`576`		`- // are already compiled`
`577`		`- return 6;`
	`574`	`+ goto_model=initialize_goto_model(cmdline, get_message_handler());`
`578`	`575`
`579`	`576`	`if(cmdline.isset("show-symbol-table"))`
`580`	`577`	`{`