Slice with respect to select properties#21

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:property-specific-slicingtautschnig/cbmc:property-specific-slicingCopy head branch name to clipboard