Code

Fix modes in java entry point code#1079

Code

Merged

kroening merged 2 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

peterschrammel:bugfix/java-entry-point-modespeterschrammel/cbmc:bugfix/java-entry-point-modesCopy head branch name to clipboard

Jul 3, 2017

Commits

Commits on Jun 30, 2017

• Fix modes in java entry point code

  peterschrammel

  committed
  0e4176d

  Copy full SHA for 0e4176d

• Add missing header guard endif comment

  peterschrammel

  committed
  5409f56

  Copy full SHA for 5409f56