diff options
author | Attila Ficsor <ficsorattila96@gmail.com> | 2023-08-07 15:16:51 +0200 |
---|---|---|
committer | Attila Ficsor <ficsorattila96@gmail.com> | 2023-08-07 15:16:51 +0200 |
commit | 9c0f8f8a28aaaec01a6177aacd0c4dddd8a2b7ed (patch) | |
tree | 35aa1c85ac8f0bce23b4a71fcdb394accbf8c6dd /subprojects/store-dse/src/test/java | |
parent | Add dummy objective with random fitness (diff) | |
download | refinery-9c0f8f8a28aaaec01a6177aacd0c4dddd8a2b7ed.tar.gz refinery-9c0f8f8a28aaaec01a6177aacd0c4dddd8a2b7ed.tar.zst refinery-9c0f8f8a28aaaec01a6177aacd0c4dddd8a2b7ed.zip |
Disable tests
Diffstat (limited to 'subprojects/store-dse/src/test/java')
-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( |