Fix: CheckerFramework version bump#393

Open

byd110 wants to merge 2 commits into

vehiloco:masterfrom

byd110:fix/cfversionbump3.49.3

Commits on Sep 19, 2025

initial commit to adapt the changes in PR #349
byd110
committed

Commits on Oct 7, 2025

Change the expected errors in GlbLubTest.java to adapt a smarter bound computation in CF
byd110
committed