Code

fixed test description of slice02#518

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

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

Feb 9, 2017

Commits

Commits on Feb 9, 2017

• fixed test description of slice02

  Show description for 0e93141
  lucasccordeiro

  committed
  0e93141

  Copy full SHA for 0e93141