diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml index 71dde614..46388d76 100644 --- a/gradle/libs.versions.toml +++ b/gradle/libs.versions.toml @@ -12,7 +12,7 @@ org-checkerframework = { id = "org.checkerframework", version = "1.0.2" } [versions] -checker-framework = "3.55.1" +checker-framework = "4.0.0" junit-jupiter = "6.0.3"