Document grapht::SCCs#1969

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/cleanup/document_sccs_guaranteesmowton/cbmc:smowton/cleanup/document_sccs_guaranteeCopy head branch name to clipboard