Code

fix some doxygen errors#2797

Code

Merged

kroening merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

owen-mc-diffblue:doc/fix-doxygen-errorsowen-mc-diffblue/cbmc:doc/fix-doxygen-errorsCopy head branch name to clipboard

Aug 22, 2018

Commits

Commits on Aug 21, 2018

• Fix unclosed ``` causing doxygen warning

  

  Owen Jones

  committed
  712c168

  Copy full SHA for 712c168

• Correct parameter names to stop doxygen warning

  

  Owen Jones

  committed
  68ca9a1

  Copy full SHA for 68ca9a1

• Fix colons in doxygen

  Show description for e4224a1
  

  Owen Jones

  committed
  e4224a1

  Copy full SHA for e4224a1