Added regression tests for checking the full-slice option#479

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

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