aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-07-16 00:23:49 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-07-16 00:23:49 +0200
commitfb952906aa64f6a502a93fba3dbc521f499221dd (patch)
treea4ecdce203d2dc5239d6b223a6bd3bb0bfdf39f0 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/config
parentFix numeric-solver-at-end (diff)
downloadVIATRA-Generator-fb952906aa64f6a502a93fba3dbc521f499221dd.tar.gz
VIATRA-Generator-fb952906aa64f6a502a93fba3dbc521f499221dd.tar.zst
VIATRA-Generator-fb952906aa64f6a502a93fba3dbc521f499221dd.zip
Clean up MODELS20 files
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig4
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig4
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig4
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig2
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig4
5 files changed, 9 insertions, 9 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig
index 8c11636c..2e653776 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig
@@ -1,7 +1,7 @@
1import epackage "../case.study.familyTree.model/model/familytree.ecore" 1import epackage "../case.study.familyTree.model/model/familytree.ecore"
2import viatra "src/queries/familyTreeConstraints.vql" 2import viatra "queries/familyTreeConstraints.vql"
3import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" 3import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"
4import viatra "src/queries/SatelliteQueries.vql" 4import viatra "queries/SatelliteQueries.vql"
5 5
6generate { 6generate {
7 metamodel = { package satellite } 7 metamodel = { package satellite }
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig
index 4a02395d..7a22f760 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig
@@ -1,7 +1,7 @@
1import epackage "../case.study.familyTree.model/model/familytree.ecore" 1import epackage "../case.study.familyTree.model/model/familytree.ecore"
2import viatra "src/queries/familyTreeConstraints.vql" 2import viatra "queries/familyTreeConstraints.vql"
3import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" 3import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"
4import viatra "src/queries/SatelliteQueries.vql" 4import viatra "queries/SatelliteQueries.vql"
5 5
6generate { 6generate {
7 metamodel = { package satellite } 7 metamodel = { package satellite }
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
index 47706ab6..80ab2906 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
@@ -1,7 +1,7 @@
1import epackage "../case.study.familyTree.model/model/familytree.ecore" 1import epackage "../case.study.familyTree.model/model/familytree.ecore"
2import viatra "src/queries/familyTreeConstraintsQual.vql" 2import viatra "queries/familyTreeConstraintsQual.vql"
3import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" 3import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"
4import viatra "src/queries/SatelliteQueries.vql" 4import viatra "queries/SatelliteQueries.vql"
5 5
6generate { 6generate {
7 metamodel = { package satellite } 7 metamodel = { package satellite }
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
index 192dac7b..aad8f544 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
@@ -1,5 +1,5 @@
1import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" 1import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"
2import viatra "src/queries/SatelliteQueries.vql" 2import viatra "queries/SatelliteQueries.vql"
3 3
4generate { 4generate {
5 metamodel = { package satellite } 5 metamodel = { package satellite }
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig
index ee3c3631..a3f1cd07 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig
@@ -1,7 +1,7 @@
1import epackage "../case.study.pledge.model/model/TaxationWithRoot.ecore" 1import epackage "../case.study.pledge.model/model/TaxationWithRoot.ecore"
2import viatra "src/queries/case_study_A_withRoot.vql" 2import viatra "queries/case_study_A_withRoot.vql"
3import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" 3import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"
4import viatra "src/queries/SatelliteQueries.vql" 4import viatra "queries/SatelliteQueries.vql"
5 5
6generate { 6generate {
7 metamodel = { package satellite } 7 metamodel = { package satellite }