From 9c0f8f8a28aaaec01a6177aacd0c4dddd8a2b7ed Mon Sep 17 00:00:00 2001 From: Attila Ficsor Date: Mon, 7 Aug 2023 15:16:51 +0200 Subject: Disable tests --- .../src/test/java/tools/refinery/store/dse/CRAExamplesTest.java | 2 ++ .../store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java | 2 ++ 2 files changed, 4 insertions(+) diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java index 2fe9fec3..d761db02 100644 --- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java +++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java @@ -5,6 +5,7 @@ */ package tools.refinery.store.dse; +import org.junit.jupiter.api.Disabled; import org.junit.jupiter.api.Test; import tools.refinery.store.dse.objectives.AlwaysSatisfiedRandomHardObjective; import tools.refinery.store.model.ModelStore; @@ -181,6 +182,7 @@ class CRAExamplesTest { }); @Test + @Disabled("This test is only for debugging purposes") void craTest() { var store = ModelStore.builder() .symbols(classElement, encapsulates, classes, features, attribute, method, dataDependency, diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java index 2cb59ec7..36bc6cce 100644 --- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java +++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java @@ -5,6 +5,7 @@ */ package tools.refinery.store.dse; +import org.junit.jupiter.api.Disabled; import org.junit.jupiter.api.Test; import tools.refinery.store.dse.objectives.AlwaysSatisfiedRandomHardObjective; import tools.refinery.store.model.ModelStore; @@ -42,6 +43,7 @@ class DebugTest { @Test + @Disabled("This test is only for debugging purposes") void BFSTest() { var createClassPrecondition = Query.of("CreateClassPrecondition", (builder, model) -> builder.clause( -- cgit v1.2.3-54-g00ecf