Code

The size of arrays is unsigned#4714

Code

Open

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:string-constant-sizetautschnig/cbmc:string-constant-sizeCopy head branch name to clipboard

Commits

Commits on May 28, 2019

• The size of arrays is unsigned

  Show description for 6b5d608
  tautschnig

  committed
  6b5d608

  Copy full SHA for 6b5d608