Remove unused localize-faults-method option

Author: peterschrammel

jbmc/src/jbmc/jbmc_parse_options.cpp

@@ -163,12 +163,6 @@ void jbmc_parse_optionst::get_command_line_options(optionst &options)
 
   if(cmdline.isset("localize-faults"))
     options.set_option("localize-faults", true);
-  if(cmdline.isset("localize-faults-method"))
-  {
-    options.set_option(
-      "localize-faults-method",
-      cmdline.get_value("localize-faults-method"));
-  }
 
   if(cmdline.isset("unwind"))
     options.set_option("unwind", cmdline.get_value("unwind"));

jbmc/src/jbmc/jbmc_parse_options.h

@@ -77,7 +77,7 @@ class optionst;
   OPT_FLUSH \
   JAVA_BYTECODE_LANGUAGE_OPTIONS \
   "(java-unwind-enum-static)" \
-  "(localize-faults)(localize-faults-method):" \
+  "(localize-faults)" \
   "(java-threading)" \
   OPT_GOTO_TRACE \
   OPT_VALIDATE \

src/cbmc/cbmc_parse_options.cpp

@@ -232,12 +232,6 @@ void cbmc_parse_optionst::get_command_line_options(optionst &options)
 
   if(cmdline.isset("localize-faults"))
     options.set_option("localize-faults", true);
-  if(cmdline.isset("localize-faults-method"))
-  {
-    options.set_option(
-      "localize-faults-method",
-      cmdline.get_value("localize-faults-method"));
-  }
 
   if(cmdline.isset("unwind"))
     options.set_option("unwind", cmdline.get_value("unwind"));

src/cbmc/cbmc_parse_options.h

@@ -76,7 +76,7 @@ class optionst;
   "(string-abstraction)(no-arch)(arch):" \
   "(round-to-nearest)(round-to-plus-inf)(round-to-minus-inf)(round-to-zero)" \
   OPT_FLUSH \
-  "(localize-faults)(localize-faults-method):" \
+  "(localize-faults)" \
   OPT_GOTO_TRACE \
   OPT_VALIDATE \
   OPT_ANSI_C_LANGUAGE \