Merge pull request #1981 from smowton/smowton/cleanup/missing-docstring

Add missing Doxygen parameter description
diffblue · Mar 28, 2018 · 05a7b4a · 05a7b4a
2 parents e4dc2aa + 7db42c0
commit 05a7b4a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/cbmc/bmc.cpp b/src/cbmc/bmc.cpp
@@ -627,6 +627,8 @@ void bmct::setup_unwind()
 /// \param message: used for logging
 /// \param driver_configure_bmc: function provided by the driver program,
 ///   which applies driver-specific configuration to a bmct before running.
+/// \param callback_after_symex: optional callback to be run after symex.
+///   See class member `bmct::driver_callback_after_symex` for details.
 int bmct::do_language_agnostic_bmc(
   const optionst &opts,
   abstract_goto_modelt &model,