Disable tests

2 files changed, 4 insertions, 0 deletions

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(