aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.familyTree.run
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig7
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.familyTree.run/queries/familyTreeConstraints.vql10
2 files changed, 9 insertions, 8 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig
index 01b7f040..7ead54af 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig
@@ -6,7 +6,7 @@ generate {
6 constraints = { package queries} 6 constraints = { package queries}
7 solver = ViatraSolver 7 solver = ViatraSolver
8 scope = { 8 scope = {
9 #node = 6..15, 9 #node = 10..30,
10 #int = {} 10 #int = {}
11 } 11 }
12 12
@@ -20,6 +20,7 @@ generate {
20 runs = 1 20 runs = 1
21 21
22 debug = "outputs/debug" 22 debug = "outputs/debug"
23 log = "outputs/log.txt" 23 log = "outputs/debug/log.txt"
24 output = "outputs/models" 24 output = "outputs/models"
25 statistics = "outputs/statistics.csv"
25} \ No newline at end of file 26} \ No newline at end of file
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/queries/familyTreeConstraints.vql b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/queries/familyTreeConstraints.vql
index f8650073..450107d4 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/queries/familyTreeConstraints.vql
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/queries/familyTreeConstraints.vql
@@ -26,11 +26,11 @@ pattern negativeAge(m: Member) {
26 check(mage<0); 26 check(mage<0);
27} 27}
28 28
29@Constraint(message="realisticAge", severity="error",key={m}) 29//@Constraint(message="realisticAge", severity="error",key={m})
30pattern realisticAge(m: Member) { 30//pattern realisticAge(m: Member) {
31 Member.age(m,mage); 31// Member.age(m,mage);
32 check(mage>120); 32// check(mage>120);
33} 33//}
34 34
35@Constraint(message="parentTooYoung", severity="error", key={c, p}) 35@Constraint(message="parentTooYoung", severity="error", key={c, p})
36pattern parentTooYoung(c: Member, p: Member) = { 36pattern parentTooYoung(c: Member, p: Member) = {