Code

Java unwind enum static#460

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom mgudemann:java_unwind_enum_staticmgudemann/cbmc:java_unwind_enum_staticCopy head branch name to clipboardJan 31, 2017

+204-19

Commits

Commits on Jan 30, 2017

• loop unwinding in static init of Java enum

  Show description for b49a7fc
  mgudemann

  committed
  b49a7fc

  Copy full SHA for b49a7fc