Code

Limit class loading#604

Code

Merged

kroening merged 6 commits intodiffblue:masterdiffblue/cbmc:masterfrom

mgudemann:limit_class_loadingmgudemann/cbmc:limit_class_loadingCopy head branch name to clipboard

Mar 13, 2017

Commits

Commits on Mar 9, 2017

• allow regex to limit class files loaded from JAR

  

  Matthias Güdemann

  committed
  b236ee4

  Copy full SHA for b236ee4

• support class load configuration via JSON file

  Show description for ed34a73
  

  Matthias Güdemann

  committed
  ed34a73

  Copy full SHA for ed34a73

• add jars from JSON config to classpath

  

  Matthias Güdemann

  committed
  469897f

  Copy full SHA for 469897f

• add regression test

  

  Matthias Güdemann

  committed
  3d009a9

  Copy full SHA for 3d009a9

Commits on Mar 10, 2017

• take comments into account

  

  Matthias Güdemann

  committed
  b473638

  Copy full SHA for b473638

• change from vector indices to map

  

  Matthias Güdemann

  committed
  53fad70

  Copy full SHA for 53fad70