From 169356cab1a0a72bc7a6dfa70d2a0eb6bbec6b80 Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sun, 5 Jul 2026 06:20:10 +0200 Subject: [PATCH 1/2] re-activate tests --- .../java/com/github/jml/resolution/NameResolutionTest.java | 3 --- tools/lsp/src/test/kotlin/tests.kt | 2 -- 2 files changed, 5 deletions(-) diff --git a/jmlparser-jml-tests/src/test/java/com/github/jml/resolution/NameResolutionTest.java b/jmlparser-jml-tests/src/test/java/com/github/jml/resolution/NameResolutionTest.java index d5b4331e1..4ceedc126 100644 --- a/jmlparser-jml-tests/src/test/java/com/github/jml/resolution/NameResolutionTest.java +++ b/jmlparser-jml-tests/src/test/java/com/github/jml/resolution/NameResolutionTest.java @@ -53,7 +53,6 @@ class NameResolutionTest { } */ @Test - @Disabled("Repair") void contractMemberVariable() throws IOException { loadAndResolveAll("ResolutionTest.java"); /*JmlContract contract = declaration.getMethodsByName("foo").get(0).getContracts().get().get(0); @@ -109,7 +108,6 @@ void contractMemberVariable() throws IOException { } @Test - @Disabled("Repair") void jmlBinderExpression() throws IOException { loadAndResolveAll("JmlQuantifiedExprResolutionTest.java"); } @@ -120,7 +118,6 @@ void jmlBinderExpression_static() throws IOException { } @Test - @Disabled("Repair") void locals() throws IOException { loadAndResolveAll("Locals.java"); } diff --git a/tools/lsp/src/test/kotlin/tests.kt b/tools/lsp/src/test/kotlin/tests.kt index feb4dfecb..19f6f2a23 100644 --- a/tools/lsp/src/test/kotlin/tests.kt +++ b/tools/lsp/src/test/kotlin/tests.kt @@ -68,7 +68,6 @@ class HoverTest { class CodeActionTests { @Test - @Disabled("investigate") fun test1() { val file = TextDocumentIdentifier(File(workspace, "Example.java").toUri) val params = CodeActionParams( @@ -97,7 +96,6 @@ class FileDiagnosticTests { } class DeclarationTests { - @Disabled("investigate") @Test fun test1() { val file = TextDocumentIdentifier(File(workspace, "Declarations.java").toUri) From e3f084e6dad80256e8931657c3571e07440258aa Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sun, 19 Jul 2026 02:07:02 +0200 Subject: [PATCH 2/2] formatting --- .../test/java/com/github/jml/resolution/NameResolutionTest.java | 1 - 1 file changed, 1 deletion(-) diff --git a/jmlparser-jml-tests/src/test/java/com/github/jml/resolution/NameResolutionTest.java b/jmlparser-jml-tests/src/test/java/com/github/jml/resolution/NameResolutionTest.java index 4ceedc126..b6362045b 100644 --- a/jmlparser-jml-tests/src/test/java/com/github/jml/resolution/NameResolutionTest.java +++ b/jmlparser-jml-tests/src/test/java/com/github/jml/resolution/NameResolutionTest.java @@ -18,7 +18,6 @@ import com.github.javaparser.symbolsolver.resolution.typesolvers.ClassLoaderTypeSolver; import com.google.common.truth.Truth; import org.junit.jupiter.api.Assertions; -import org.junit.jupiter.api.Disabled; import org.junit.jupiter.api.Test; import java.io.File;