Document dstringt to string conversions#2779

peterschrammel merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

antlechner:antonia/doc-util-readmeantlechner/cbmc:antonia/doc-util-readmeCopy head branch name to clipboard