diff options
Diffstat (limited to 'subprojects/store-dse')
-rw-r--r-- | subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java | 2 | ||||
-rw-r--r-- | subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java | 2 |
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 @@ | |||
5 | */ | 5 | */ |
6 | package tools.refinery.store.dse; | 6 | package tools.refinery.store.dse; |
7 | 7 | ||
8 | import org.junit.jupiter.api.Disabled; | ||
8 | import org.junit.jupiter.api.Test; | 9 | import org.junit.jupiter.api.Test; |
9 | import tools.refinery.store.dse.objectives.AlwaysSatisfiedRandomHardObjective; | 10 | import tools.refinery.store.dse.objectives.AlwaysSatisfiedRandomHardObjective; |
10 | import tools.refinery.store.model.ModelStore; | 11 | import tools.refinery.store.model.ModelStore; |
@@ -181,6 +182,7 @@ class CRAExamplesTest { | |||
181 | }); | 182 | }); |
182 | 183 | ||
183 | @Test | 184 | @Test |
185 | @Disabled("This test is only for debugging purposes") | ||
184 | void craTest() { | 186 | void craTest() { |
185 | var store = ModelStore.builder() | 187 | var store = ModelStore.builder() |
186 | .symbols(classElement, encapsulates, classes, features, attribute, method, dataDependency, | 188 | .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 @@ | |||
5 | */ | 5 | */ |
6 | package tools.refinery.store.dse; | 6 | package tools.refinery.store.dse; |
7 | 7 | ||
8 | import org.junit.jupiter.api.Disabled; | ||
8 | import org.junit.jupiter.api.Test; | 9 | import org.junit.jupiter.api.Test; |
9 | import tools.refinery.store.dse.objectives.AlwaysSatisfiedRandomHardObjective; | 10 | import tools.refinery.store.dse.objectives.AlwaysSatisfiedRandomHardObjective; |
10 | import tools.refinery.store.model.ModelStore; | 11 | import tools.refinery.store.model.ModelStore; |
@@ -42,6 +43,7 @@ class DebugTest { | |||
42 | 43 | ||
43 | 44 | ||
44 | @Test | 45 | @Test |
46 | @Disabled("This test is only for debugging purposes") | ||
45 | void BFSTest() { | 47 | void BFSTest() { |
46 | var createClassPrecondition = Query.of("CreateClassPrecondition", | 48 | var createClassPrecondition = Query.of("CreateClassPrecondition", |
47 | (builder, model) -> builder.clause( | 49 | (builder, model) -> builder.clause( |