Remove deprecated --java-max-input-tree-depth

Author: peterschrammel

jbmc/src/java_bytecode/java_bytecode_language.cpp

@@ -57,11 +57,6 @@ void java_bytecode_languaget::get_language_options(const cmdlinet &cmd)
       safe_string2size_t(cmd.get_value("max-nondet-array-length"));
   }
 
-  if(cmd.isset("java-max-input-tree-depth")) // will go away
-  {
-    object_factory_parameters.max_nondet_tree_depth =
-      safe_string2size_t(cmd.get_value("java-max-input-tree-depth"));
-  }
   if(cmd.isset("max-nondet-tree-depth"))
   {
     object_factory_parameters.max_nondet_tree_depth =

jbmc/src/java_bytecode/java_bytecode_language.h

@@ -33,7 +33,6 @@ Author: Daniel Kroening, [email protected]
   "(java-assume-inputs-non-null)" \
   "(throw-runtime-exceptions)" \
   "(max-nondet-array-length):" \
-  "(java-max-input-tree-depth):" /* will go away */ \
   "(max-nondet-tree-depth):" \
   "(java-max-vla-length):" \
   "(java-cp-include-files):" \

jbmc/src/jbmc/jbmc_parse_options.cpp

@@ -493,8 +493,8 @@ int jbmc_parse_optionst::doit()
       ? std::stoul(cmdline.get_value("max-nondet-string-length"))
       : MAX_NONDET_STRING_LENGTH;
   object_factory_params.max_nondet_tree_depth =
-    cmdline.isset("java-max-input-tree-depth")
-      ? std::stoul(cmdline.get_value("java-max-input-tree-depth"))
+    cmdline.isset("max-nondet-tree-depth")
+      ? std::stoul(cmdline.get_value("max-nondet-tree-depth"))
       : MAX_NONDET_TREE_DEPTH;
 
   stub_objects_are_not_null = cmdline.isset("java-assume-inputs-non-null");