aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig25
1 files changed, 25 insertions, 0 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
new file mode 100644
index 00000000..60e6b895
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig
@@ -0,0 +1,25 @@
1import epackage "../case.study.familyTree.model/model/familytree.ecore"
2import viatra "src/queries/familyTreeConstraints.vql"
3
4generate {
5 metamodel = { package familytree }
6 constraints = { package queries}
7 partial-model = { "inputs/FamilyTree.xmi" }
8 solver = ViatraSolver
9 scope = {
10 #node = 6..15,
11 #int = {}
12 }
13
14 config = {
15 runtime = 10000,
16 log-level = normal
17 }
18
19 runs = 1
20
21 debug = "outputs/debug"
22 log = "outputs/log.txt"
23 output = "outputs/models"
24 statistics = "output/debug/statistics.csv"
25} \ No newline at end of file