Skip to content

JBMC: make Object.getClass return the unique Class object of each class - #9390

Open
tautschnig wants to merge 5 commits into
diffblue:developfrom
tautschnig:kiro/jbmc-get-class
Open

JBMC: make Object.getClass return the unique Class object of each class#9390
tautschnig wants to merge 5 commits into
diffblue:developfrom
tautschnig:kiro/jbmc-get-class

Commits

  1. Commits on Nov 3, 2026

  2. Commits on Nov 4, 2026