Merge pull request #3179 from johnnonweiler/doc/reduce-doxygen-warnings-7

Reduce Doxygen warnings in goto-instrument

Author: tautschnig

src/goto-instrument/cover.cpp

@@ -54,10 +54,7 @@ void instrument_cover_goals(
 /// \deprecated use instrument_cover_goals(goto_programt &goto_program,
 /// const cover_instrumenterst &instrumenters,
 /// message_handlert &message_handler, const irep_idt mode) instead
-DEPRECATED(
-  "use instrument_cover_goals(goto_programt &goto_program,"
-  "const cover_instrumenterst &instrumenters,"
-  "message_handlert &message_handler, const irep_idt mode) instead")
+DEPRECATED("use instrument_cover_goals(goto_programt &...) instead")
 void instrument_cover_goals(
   const symbol_tablet &symbol_table,
   goto_programt &goto_program,

src/goto-instrument/model_argc_argv.cpp

@@ -31,8 +31,8 @@ Date: April 2016
 #include <goto-programs/remove_skip.h>
 
 /// Set up argv with up to max_argc pointers into an array of 4096 bytes.
-/// \param symbol_table: Input program's symbol table
-/// \param goto_functions: Input program's intermediate representation
+/// \param goto_model: Contains the input program's symbol table and
+///   intermediate representation
 /// \param max_argc: User-specified maximum number of arguments to be modelled
 /// \param message_handler: message logging
 /// \return True, if and only if modelling succeeded