Clean-up doxygen errors

Author: romainbrenguier

src/solvers/README.md

@@ -278,8 +278,8 @@ allocates a new string before calling a primitive.
     \copybrief string_to_lower_case_builtin_functiont::constraints
     \link string_to_lower_case_builtin_functiont::constraints More... \endlink
   * `cprover_string_to_upper_case` :
-    \copybrief string_to_upper_case_builtin_functiont::constraints(symbol_generatort&)
-    \link string_to_upper_case_builtin_functiont::constraints(symbol_generatort&) More... \endlink
+    \copybrief string_to_upper_case_builtin_functiont::constraints
+    \link string_to_upper_case_builtin_functiont::constraints More... \endlink
   * `cprover_string_trim` :
     \copybrief add_axioms_for_trim(symbol_generatort &fresh_symbol, const function_application_exprt &f, array_poolt &array_pool)
     \link add_axioms_for_trim(symbol_generatort &fresh_symbol, const function_application_exprt &f, array_poolt &array_pool) More... \endlink

src/solvers/refinement/string_builtin_function.h

@@ -253,7 +253,6 @@ class string_to_upper_case_builtin_functiont
 
   string_constraintst constraints(class symbol_generatort &fresh_symbol) const;
 
-  /// \copydoc constraints(class symbol_generatort&)
   string_constraintst
   constraints(string_constraint_generatort &generator) const override
   {

src/solvers/refinement/string_refinement.cpp

@@ -219,11 +219,13 @@ static void display_index_set(
 ///     appears in `P` indexed by some `f(x)` and `val` is in
 ///     the index set of `str` we find `y` such that `f(y)=val` and
 ///     add lemma `P(y)`.
+// NOLINTNEXTLINE(whitespace/line_length)
 ///     (See `instantiate(messaget::mstreamt&,const string_constraintt&,const exprt &,const exprt&)`
 ///      for details)
 ///   * For formulas of the form
 ///     \f$\forall x. P(x) \Rightarrow \exists y .s_0[x+y] \ne s_1[y]) \f$ we
 ///     need to look at the index set of both `s_0` and `s_1`.
+// NOLINTNEXTLINE(whitespace/line_length)
 ///     (See `instantiate(const string_not_contains_constraintt&,const index_set_pairt&,const string_constraint_generatort&,const std::map<string_not_contains_constraintt, symbol_exprt>&)`
 ///      for details)
 static std::vector<exprt> generate_instantiations(