goto-instrument --show-lexical-loops: exit early

tautschnig · tautschnig · commit 75cd6a83cc63 · 2022-11-10T11:49:07.000Z
To be consistent with other --show-* operations in goto-instrument we
should exit right after having displayed the loop information.
diff --git a/src/goto-instrument/goto_instrument_parse_options.cpp b/src/goto-instrument/goto_instrument_parse_options.cpp
@@ -662,6 +662,7 @@ int goto_instrument_parse_optionst::doit()
     if(cmdline.isset("show-lexical-loops"))
     {
       show_lexical_loops(goto_model, std::cout);
+      return CPROVER_EXIT_SUCCESS;
     }
 
     if(cmdline.isset("print-internal-representation"))

Original file line number	Diff line number	Diff line change
`@@ -662,6 +662,7 @@ int goto_instrument_parse_optionst::doit()`
`662`	`662`	`if(cmdline.isset("show-lexical-loops"))`
`663`	`663`	`{`
`664`	`664`	`show_lexical_loops(goto_model, std::cout);`
	`665`	`+ return CPROVER_EXIT_SUCCESS;`
`665`	`666`	`}`
`666`	`667`
`667`	`668`	`if(cmdline.isset("print-internal-representation"))`