Code

[SEC-180] Overlay classes#2017

Code

Merged

thk123 merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:feature/overlay-classesNathanJPhillips/cbmc:feature/overlay-classesCopy head branch name to clipboard

Apr 12, 2018

Commits

Commits on Apr 9, 2018

• Tidied up java_class_loader_limitt

  NathanJPhillips

  committed
  7c0ea4d

  Copy full SHA for 7c0ea4d

• Improve code and error message in infer_opaque_type_fields

  NathanJPhillips

  committed
  dbc2f71

  Copy full SHA for dbc2f71

• Add ability to overlay classes with new definitions of existing methods

  Show description for 3d4183a
  NathanJPhillips

  committed
  3d4183a

  Copy full SHA for 3d4183a