1 files changed, 4 insertions, 2 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 a5fd3189..94295dd1 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig
@@ -1,5 +1,5 @@
 import epackage "../case.study.familyTree.model/model/familytree.ecore"

-import viatra   "queries/familyTreeConstraints.vql"

+import viatra   "queries/familyTreeConstraintsNumUB.vql"

 import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"

 import viatra "queries/SatelliteQueries.vql"

 

@@ -14,7 +14,8 @@ generate {
 

         config = {

                 runtime = 10000,

-                log-level = normal

+                log-level = normal,

+                "scopePropagator" = "typeHierarchy"

         }

 

         runs = 1

@@ -34,6 +35,7 @@ generate {
         config = {

                 runtime = 10000,

                 "numeric-solver" = "z3",

+                "scopePropagator" = "typeHierarchy",

                 log-level = normal,

                 "fitness-punishSize" = "false",

                 "fitness-scope" = "3"