prepping measurement setup w/ dreal

2 files changed, 7 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml
index 4297ec89..f5cda378 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml
@@ -5,6 +5,7 @@
       <query-specification fqn="queries.twoMembersHaveNoParent"/>
       <query-specification fqn="queries.memberHasParent"/>
       <query-specification fqn="queries.negativeAge"/>
+      <query-specification fqn="queries.realisticAge"/>
       <query-specification fqn="queries.parentTooYoung"/>
     </group>
   </extension>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql
index fdbac640..f8650073 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql
@@ -26,6 +26,12 @@ pattern negativeAge(m: Member) {
         check(mage<0);

 }

 

+@Constraint(message="realisticAge", severity="error",key={m})

+pattern realisticAge(m: Member) {

+        Member.age(m,mage);

+        check(mage>120);

+}

+

 @Constraint(message="parentTooYoung", severity="error", key={c, p})

 pattern parentTooYoung(c: Member, p: Member) = {

         FamilyTree.members(_, c);