aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
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/genericFamilyTreeSMTQual.vsconfig
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/genericFamilyTreeSMTQual.vsconfig')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig4
1 files changed, 2 insertions, 2 deletions
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 }