Add missing Doxygen parameter description#1981

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/cleanup/missing-docstringsmowton/cbmc:smowton/cleanup/missing-docstringCopy head branch name to clipboard