diff options
author | 2021-10-01 15:52:11 +0200 | |
---|---|---|
committer | 2021-10-01 16:22:14 +0200 | |
commit | eec2d3b70442999a879aa673e52c1144eec4e351 (patch) | |
tree | 0f8aaba92d5baa5b118c93d7198b516ff1986e0d /language/src | |
parent | build: webpack fixes (diff) | |
download | refinery-eec2d3b70442999a879aa673e52c1144eec4e351.tar.gz refinery-eec2d3b70442999a879aa673e52c1144eec4e351.tar.zst refinery-eec2d3b70442999a879aa673e52c1144eec4e351.zip |
feat: skeleton for language to store mapping
Diffstat (limited to 'language/src')
-rw-r--r-- | language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 b/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 index b8bc5a44..4dfbb242 100644 --- a/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 +++ b/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 | |||
@@ -15,6 +15,7 @@ Workflow { | |||
15 | rootPath = rootPath | 15 | rootPath = rootPath |
16 | runtimeTest = { | 16 | runtimeTest = { |
17 | enabled = true | 17 | enabled = true |
18 | srcGen = 'src/testFixtures/xtext-gen' | ||
18 | } | 19 | } |
19 | genericIde = { | 20 | genericIde = { |
20 | name = "language-ide" | 21 | name = "language-ide" |
@@ -48,6 +49,8 @@ Workflow { | |||
48 | generateStub = false | 49 | generateStub = false |
49 | } | 50 | } |
50 | junitSupport = { | 51 | junitSupport = { |
52 | generateStub = false | ||
53 | skipXbaseTestingPackage = true | ||
51 | junitVersion = "5" | 54 | junitVersion = "5" |
52 | } | 55 | } |
53 | webSupport = ProblemWebIntegrationFragment { | 56 | webSupport = ProblemWebIntegrationFragment { |