aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java')
-rw-r--r--subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java10
1 files changed, 3 insertions, 7 deletions
diff --git a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java
index b4abce81..44d83cdc 100644
--- a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java
+++ b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java
@@ -6,14 +6,11 @@
6package tools.refinery.language.semantics; 6package tools.refinery.language.semantics;
7 7
8import com.google.inject.Inject; 8import com.google.inject.Inject;
9import org.eclipse.xtext.testing.InjectWith;
10import org.eclipse.xtext.testing.extensions.InjectionExtension;
11import org.junit.jupiter.api.Disabled; 9import org.junit.jupiter.api.Disabled;
12import org.junit.jupiter.api.Test; 10import org.junit.jupiter.api.Test;
13import org.junit.jupiter.api.extension.ExtendWith;
14import tools.refinery.language.ProblemStandaloneSetup; 11import tools.refinery.language.ProblemStandaloneSetup;
15import tools.refinery.language.model.tests.utils.ProblemParseHelper; 12import tools.refinery.language.tests.InjectWithRefinery;
16import tools.refinery.language.tests.ProblemInjectorProvider; 13import tools.refinery.language.tests.utils.ProblemParseHelper;
17import tools.refinery.store.dse.propagation.PropagationAdapter; 14import tools.refinery.store.dse.propagation.PropagationAdapter;
18import tools.refinery.store.dse.strategy.BestFirstStoreManager; 15import tools.refinery.store.dse.strategy.BestFirstStoreManager;
19import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter; 16import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter;
@@ -33,8 +30,7 @@ import java.util.LinkedHashMap;
33import static org.hamcrest.MatcherAssert.assertThat; 30import static org.hamcrest.MatcherAssert.assertThat;
34import static org.hamcrest.Matchers.empty; 31import static org.hamcrest.Matchers.empty;
35 32
36@ExtendWith(InjectionExtension.class) 33@InjectWithRefinery
37@InjectWith(ProblemInjectorProvider.class)
38@Disabled("For debugging purposes only") 34@Disabled("For debugging purposes only")
39class ModelGenerationTest { 35class ModelGenerationTest {
40 @Inject 36 @Inject