diff options
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.java | 10 |
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 @@ | |||
6 | package tools.refinery.language.semantics; | 6 | package tools.refinery.language.semantics; |
7 | 7 | ||
8 | import com.google.inject.Inject; | 8 | import com.google.inject.Inject; |
9 | import org.eclipse.xtext.testing.InjectWith; | ||
10 | import org.eclipse.xtext.testing.extensions.InjectionExtension; | ||
11 | import org.junit.jupiter.api.Disabled; | 9 | import org.junit.jupiter.api.Disabled; |
12 | import org.junit.jupiter.api.Test; | 10 | import org.junit.jupiter.api.Test; |
13 | import org.junit.jupiter.api.extension.ExtendWith; | ||
14 | import tools.refinery.language.ProblemStandaloneSetup; | 11 | import tools.refinery.language.ProblemStandaloneSetup; |
15 | import tools.refinery.language.model.tests.utils.ProblemParseHelper; | 12 | import tools.refinery.language.tests.InjectWithRefinery; |
16 | import tools.refinery.language.tests.ProblemInjectorProvider; | 13 | import tools.refinery.language.tests.utils.ProblemParseHelper; |
17 | import tools.refinery.store.dse.propagation.PropagationAdapter; | 14 | import tools.refinery.store.dse.propagation.PropagationAdapter; |
18 | import tools.refinery.store.dse.strategy.BestFirstStoreManager; | 15 | import tools.refinery.store.dse.strategy.BestFirstStoreManager; |
19 | import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter; | 16 | import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter; |
@@ -33,8 +30,7 @@ import java.util.LinkedHashMap; | |||
33 | import static org.hamcrest.MatcherAssert.assertThat; | 30 | import static org.hamcrest.MatcherAssert.assertThat; |
34 | import static org.hamcrest.Matchers.empty; | 31 | import 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") |
39 | class ModelGenerationTest { | 35 | class ModelGenerationTest { |
40 | @Inject | 36 | @Inject |