Activate tests for StringBuffer.append in loops#1976

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:regression/activate-dependency-testsromainbrenguier/cbmc:regression/activate-dependency-testsCopy head branch name to clipboard