Merge pull request #2886 from romainbrenguier/clean-up/string-refinement-option

Remove unused string-refinement options

Author: tautschnig

src/cbmc/cbmc_solvers.cpp

@@ -143,10 +143,6 @@ std::unique_ptr<cbmc_solverst::solvert> cbmc_solverst::get_string_refinement()
   info.prop=prop.get();
   info.refinement_bound=DEFAULT_MAX_NB_REFINEMENT;
   info.ui=ui;
-  if(options.get_bool_option("string-max-length"))
-    info.max_string_length =
-      options.get_unsigned_int_option("string-max-length");
-  info.trace=options.get_bool_option("trace");
   if(options.get_bool_option("max-node-refinement"))
     info.max_node_refinement=
       options.get_unsigned_int_option("max-node-refinement");

src/solvers/refinement/string_refinement.h

@@ -37,10 +37,7 @@ class string_refinementt final: public bv_refinementt
   struct configt
   {
     std::size_t refinement_bound=0;
-    /// Concretize strings after solver is finished
-    bool trace=false;
     bool use_counter_example=true;
-    std::size_t max_string_length;
   };
 public:
   /// string_refinementt constructor arguments