From 5f7884b10c8f8560647b0f2f2ca1d194bd4af87b Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sat, 2 May 2026 09:24:00 +0000 Subject: [PATCH 1/2] Bump the gradle-deps group across 1 directory with 7 updates Bumps the gradle-deps group with 7 updates in the / directory: | Package | From | To | | --- | --- | --- | | [io.github.eisop:checker-qual](https://github.com/eisop/checker-framework) | `3.49.3-eisop1` | `3.49.5-eisop1` | | [io.github.eisop:checker-util](https://github.com/eisop/checker-framework) | `3.49.3-eisop1` | `3.49.5-eisop1` | | [io.github.eisop:checker](https://github.com/eisop/checker-framework) | `3.49.3-eisop1` | `3.49.5-eisop1` | | [org.junit:junit-bom](https://github.com/junit-team/junit-framework) | `5.14.3` | `6.0.3` | | [com.fasterxml.jackson.dataformat:jackson-dataformat-yaml](https://github.com/FasterXML/jackson-dataformats-text) | `2.21.2` | `2.21.3` | | com.fasterxml.jackson.datatype:jackson-datatype-jsr310 | `2.21.2` | `2.21.3` | | org.sonarqube | `7.2.3.7755` | `7.3.0.8198` | Updates `io.github.eisop:checker-qual` from 3.49.3-eisop1 to 3.49.5-eisop1 - [Release notes](https://github.com/eisop/checker-framework/releases) - [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.49.3-eisop1...checker-framework-3.49.5-eisop1) Updates `io.github.eisop:checker-util` from 3.49.3-eisop1 to 3.49.5-eisop1 - [Release notes](https://github.com/eisop/checker-framework/releases) - [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.49.3-eisop1...checker-framework-3.49.5-eisop1) Updates `io.github.eisop:checker` from 3.49.3-eisop1 to 3.49.5-eisop1 - [Release notes](https://github.com/eisop/checker-framework/releases) - [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.49.3-eisop1...checker-framework-3.49.5-eisop1) Updates `io.github.eisop:checker-util` from 3.49.3-eisop1 to 3.49.5-eisop1 - [Release notes](https://github.com/eisop/checker-framework/releases) - [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.49.3-eisop1...checker-framework-3.49.5-eisop1) Updates `io.github.eisop:checker` from 3.49.3-eisop1 to 3.49.5-eisop1 - [Release notes](https://github.com/eisop/checker-framework/releases) - [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md) - [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.49.3-eisop1...checker-framework-3.49.5-eisop1) Updates `org.junit:junit-bom` from 5.14.3 to 6.0.3 - [Release notes](https://github.com/junit-team/junit-framework/releases) - [Commits](https://github.com/junit-team/junit-framework/compare/r5.14.3...r6.0.3) Updates `com.fasterxml.jackson.dataformat:jackson-dataformat-yaml` from 2.21.2 to 2.21.3 - [Commits](https://github.com/FasterXML/jackson-dataformats-text/compare/jackson-dataformats-text-2.21.2...jackson-dataformats-text-2.21.3) Updates `com.fasterxml.jackson.datatype:jackson-datatype-jsr310` from 2.21.2 to 2.21.3 Updates `org.sonarqube` from 7.2.3.7755 to 7.3.0.8198 --- updated-dependencies: - dependency-name: io.github.eisop:checker-qual dependency-version: 3.49.5-eisop1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: io.github.eisop:checker-util dependency-version: 3.49.5-eisop1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: io.github.eisop:checker dependency-version: 3.49.5-eisop1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: io.github.eisop:checker-util dependency-version: 3.49.5-eisop1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: io.github.eisop:checker dependency-version: 3.49.5-eisop1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: org.junit:junit-bom dependency-version: 6.0.3 dependency-type: direct:production update-type: version-update:semver-major dependency-group: gradle-deps - dependency-name: com.fasterxml.jackson.dataformat:jackson-dataformat-yaml dependency-version: 2.21.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: com.fasterxml.jackson.datatype:jackson-datatype-jsr310 dependency-version: 2.21.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: gradle-deps - dependency-name: org.sonarqube dependency-version: 7.3.0.8198 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: gradle-deps ... Signed-off-by: dependabot[bot] --- build.gradle | 10 +++++----- key.core/build.gradle | 2 +- key.util/build.gradle | 8 ++++---- 3 files changed, 10 insertions(+), 10 deletions(-) diff --git a/build.gradle b/build.gradle index 68f34d23bcc..e4623f8f1ad 100644 --- a/build.gradle +++ b/build.gradle @@ -13,7 +13,7 @@ // EISOP Checker Framework id "org.checkerframework" version "0.6.61" - id("org.sonarqube") version "7.2.3.7755" + id("org.sonarqube") version "7.3.0.8198" // Plugin for publishing via the new Nexus API id "io.github.gradle-nexus.publish-plugin" version "2.0.0" @@ -71,7 +71,7 @@ subprojects { compileOnly("org.jspecify:jspecify:1.0.0") testCompileOnly("org.jspecify:jspecify:1.0.0") - def eisop_version = "3.49.3-eisop1" + def eisop_version = "3.49.5-eisop1" compileOnly "io.github.eisop:checker-qual:$eisop_version" compileOnly "io.github.eisop:checker-util:$eisop_version" testCompileOnly "io.github.eisop:checker-qual:$eisop_version" @@ -82,7 +82,7 @@ subprojects { testImplementation("org.assertj:assertj-core:3.27.7") testImplementation("ch.qos.logback:logback-classic:1.5.32") - testImplementation(platform("org.junit:junit-bom:5.14.3")) + testImplementation(platform("org.junit:junit-bom:6.0.3")) testImplementation ("org.junit.jupiter:junit-jupiter-api") testImplementation ("org.junit.jupiter:junit-jupiter-params") testRuntimeOnly ("org.junit.jupiter:junit-jupiter-engine") @@ -92,8 +92,8 @@ subprojects { testImplementation (testFixtures(project(":key.util"))) // test fixtures - testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.2") - testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.2") + testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.3") + testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.3") testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine' } diff --git a/key.core/build.gradle b/key.core/build.gradle index eb7714f746a..eedd94a7f58 100644 --- a/key.core/build.gradle +++ b/key.core/build.gradle @@ -25,7 +25,7 @@ dependencies { testImplementation(project(":key.core")) // https://mvnrepository.com/artifact/com.fasterxml.jackson.dataformat/jackson-dataformat-yaml - testImplementation 'com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.2' + testImplementation 'com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.3' // test fixtures testFixturesApi(testFixtures(project(":key.util"))) diff --git a/key.util/build.gradle b/key.util/build.gradle index cfe26a0db9c..4d678dec38b 100644 --- a/key.util/build.gradle +++ b/key.util/build.gradle @@ -10,7 +10,7 @@ dependencies { // we also export these dependency into src/test/java. testFixturesApi(project(':key.util')) - testFixturesApi(platform("org.junit:junit-bom:5.14.3")) + testFixturesApi(platform("org.junit:junit-bom:6.0.3")) testFixturesApi("org.junit.jupiter:junit-jupiter-api") testFixturesApi("org.junit.jupiter:junit-jupiter-params") testFixturesApi("org.assertj:assertj-core:3.27.7") @@ -19,10 +19,10 @@ dependencies { testFixturesApi("ch.qos.logback:logback-classic:1.5.32") // test fixtures - testFixturesApi("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.2") - testFixturesApi("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.2") + testFixturesApi("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.3") + testFixturesApi("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.3") - def eisop_version = "3.49.3-eisop1" + def eisop_version = "3.49.5-eisop1" testFixturesCompileOnly( "io.github.eisop:checker-qual:$eisop_version") } From 7a113119aa85d568d02e487c1cf649204e4d3772 Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sat, 2 May 2026 12:24:13 +0200 Subject: [PATCH 2/2] fix commentChar clashes with delimiter --- build.gradle | 4 +--- .../jml/pretranslation/TextualJMLAssertStatementTest.java | 2 +- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/build.gradle b/build.gradle index e4623f8f1ad..56aac88f403 100644 --- a/build.gradle +++ b/build.gradle @@ -1,4 +1,4 @@ - plugins { +plugins { //Support for IntelliJ IDEA //https://docs.gradle.org/current/userguide/idea_plugin.html id("idea") @@ -13,8 +13,6 @@ // EISOP Checker Framework id "org.checkerframework" version "0.6.61" - id("org.sonarqube") version "7.3.0.8198" - // Plugin for publishing via the new Nexus API id "io.github.gradle-nexus.publish-plugin" version "2.0.0" diff --git a/key.core/src/test/java/de/uka/ilkd/key/speclang/jml/pretranslation/TextualJMLAssertStatementTest.java b/key.core/src/test/java/de/uka/ilkd/key/speclang/jml/pretranslation/TextualJMLAssertStatementTest.java index 93e82318c2b..4ab45085ab1 100644 --- a/key.core/src/test/java/de/uka/ilkd/key/speclang/jml/pretranslation/TextualJMLAssertStatementTest.java +++ b/key.core/src/test/java/de/uka/ilkd/key/speclang/jml/pretranslation/TextualJMLAssertStatementTest.java @@ -20,7 +20,7 @@ private static ImmutableList parseMethodLevel(String ms) { } @ParameterizedTest - @CsvSource(delimiter = '#', + @CsvSource(delimiter = '#', commentCharacter = 'ยด', textBlock = """ //@ assert true; # true; //@ assert 1 + 2 == 3 && 2 != 3; # 1 + 2 == 3 && 2 != 3;