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

JBMC: obtain lazily created Class objects thread-safely

4c8c3bd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-cpplint
succeeded Nov 4, 2026 in 1m 7s