Code

Refactor boot strap method branch#500

Code

Merged

pparizek merged 4 commits intojavapathfinder:java-17javapathfinder/jpf-core:java-17from eklaDFF:RefactorBootStrapMethodBrancheklaDFF/jpf-core:RefactorBootStrapMethodBranchCopy head branch name to clipboardOct 10, 2024

+67-54

Commits

Commits on Oct 4, 2024

• add Tests to test record feature of jpf

  eklaDFF

  committed
  52fcc46

• modify the setBootstrapMethod(...) to adapt Java-17 requirement

  eklaDFF

  committed
  62a1a11

Commits on Oct 8, 2024

• Merge remote-tracking branch 'upstream/java-17'

  eklaDFF

  committed
  1f166a7

• Refactor JVMClassInfo.setBootstrapMethod(...)

  eklaDFF

  committed
  6b993a0