Skip to content

fix(java): javac holds the step frame's invariant, and the budget gate stops measuring the wrong class - #409

Merged
mario4tier merged 3 commits into
devfrom
review/post-merge-3
Sep 8, 2026
Merged

fix(java): javac holds the step frame's invariant, and the budget gate stops measuring the wrong class#409
mario4tier merged 3 commits into
devfrom
review/post-merge-3

Commits

Commits on Sep 8, 2026