Code

Fixes related to #1816#1982

Code

Merged

thk123 merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom NathanJPhillips:bugfix/load-object-onceNathanJPhillips/cbmc:bugfix/load-object-onceCopy head branch name to clipboardMar 28, 2018

+90-12

Commits

Commits on Mar 28, 2018

• Unit test to show java.lang.Object can be loaded from an explicit model

  NathanJPhillips

  committed
  c520331

  Copy full SHA for c520331

• Prevent attempting to load any class more than once

  NathanJPhillips

  committed
  3c95aa1

  Copy full SHA for 3c95aa1

• Tests to ensure invalid values in the classpath are ignored

  NathanJPhillips

  committed
  6749fd0

  Copy full SHA for 6749fd0

• Allow incorrect paths for jar files on the classpath without crashing

  NathanJPhillips

  committed
  eae194f

  Copy full SHA for eae194f

• Prevent test running on symex-driven lazy loading

  Show description for 81ac259
  NathanJPhillips

  committed
  81ac259

  Copy full SHA for 81ac259