Fallback to old bmct is unnecessary

peterschrammel · peterschrammel · commit 4d8e504b2dab · 2019-04-16T11:57:36.000+01:00
is unreachable
diff --git a/jbmc/src/jbmc/jbmc_parse_options.cpp b/jbmc/src/jbmc/jbmc_parse_options.cpp
@@ -655,12 +655,7 @@ int jbmc_parse_optionst::doit()
     }
     else
     {
-      // fall back until everything has been ported to goto-checker
-
-      // The `configure_bmc` callback passed will enable enum-unwind-static if
-      // applicable.
-      return bmct::do_language_agnostic_bmc(
-        options, *goto_model_ptr, ui_message_handler, configure_bmc);
+      UNREACHABLE;
     }
 
     const resultt result = (*verifier)();

Original file line number	Diff line number	Diff line change
`@@ -655,12 +655,7 @@ int jbmc_parse_optionst::doit()`
`655`	`655`	`}`
`656`	`656`	`else`
`657`	`657`	`{`
`658`		`- // fall back until everything has been ported to goto-checker`
`659`		`-`
`660`		- // The `configure_bmc` callback passed will enable enum-unwind-static if
`661`		`- // applicable.`
`662`		`- return bmct::do_language_agnostic_bmc(`
`663`		`- options, *goto_model_ptr, ui_message_handler, configure_bmc);`
	`658`	`+ UNREACHABLE;`
`664`	`659`	`}`
`665`	`660`
`666`	`661`	`const resultt result = (*verifier)();`