fixed test description of slice02#518

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

lucasccordeiro:regression-full-slicelucasccordeiro/cbmc:regression-full-sliceCopy head branch name to clipboard