Code

Treat all anonymous locals as void*#387

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:anonymous_locals_always_void_mastersmowton/cbmc:anonymous_locals_always_void_masterCopy head branch name to clipboard

Jan 4, 2017

Commits

Commits on Jan 4, 2017

• Treat all anonymous locals as void*

  Show description for 043f02f
  smowton

  committed
  043f02f

  Copy full SHA for 043f02f