Code

jar_index cleanout#2766

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

jar_indexdiffblue/cbmc:jar_indexCopy head branch name to clipboard

Aug 24, 2018

Commits

Commits on Aug 24, 2018

• java_class_loadert::load_entire_jar now returns the classes loaded

  

  Daniel Kroening

  committed
  27d0ae0

  Copy full SHA for 27d0ae0

• removed jar_indext types and data structures

  

  Daniel Kroening

  committed
  8d2a748

  Copy full SHA for 8d2a748