Adding explanatory comment

thk123 · thk123 · commit 2a3d8767266e · 2017-09-13T13:37:04.000+01:00
diff --git a/src/cbmc/cbmc_parse_options.cpp b/src/cbmc/cbmc_parse_options.cpp
@@ -624,6 +624,8 @@ int cbmc_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;
 
     if(cmdline.isset("function"))

Original file line number	Diff line number	Diff line change
`@@ -624,6 +624,8 @@ int cbmc_parse_optionst::get_goto_program(`
`624`	`624`	`try`
`625`	`625`	`{`
`626`	`626`	`if(initialize_goto_model(goto_model, cmdline, get_message_handler()))`
	`627`	`+ // Remove all binaries from the command line as they`
	`628`	`+ // are already compiled`
`627`	`629`	`return 6;`
`628`	`630`
`629`	`631`	`if(cmdline.isset("function"))`