Code

Cleanup/java object factory#693

Code

Merged

kroening merged 4 commits intodiffblue:masterdiffblue/cbmc:masterfrom

owen-mc-diffblue:cleanup/java-object-factoryowen-mc-diffblue/cbmc:cleanup/java-object-factoryCopy head branch name to clipboard

Mar 25, 2017

Commits

Commits on Mar 24, 2017

• Remove unused variable and braces

  

  Owen Jones

  committed
  2b09c0b

  Copy full SHA for 2b09c0b

• Move function comments to the right place

  

  Owen Jones

  committed
  a3f49a3

  Copy full SHA for a3f49a3

• Remove variable that is always false

  Show description for 4c4ccc0
  

  Owen Jones

  committed
  4c4ccc0

  Copy full SHA for 4c4ccc0

• Remove function that's only used once

  Show description for 9a1dae0
  

  Owen Jones

  committed
  9a1dae0

  Copy full SHA for 9a1dae0