fine-tune measurement setup

5 files changed, 12 insertions, 6 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"

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig
index e833397f..fdb04161 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig
@@ -14,7 +14,8 @@ generate {
 
         config = {
                 runtime = 10000,
-                log-level = normal
+                log-level = normal,
+                "scopePropagator" = "typeHierarchy"
         }
 
         runs = 1
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 36df7eef..56dc86b5 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
@@ -14,7 +14,8 @@ generate {
 
         config = {
                 runtime = 10000,
-                log-level = normal
+                log-level = normal,
+                "scopePropagator" = "typeHierarchy"
         }
 
         runs = 1
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
index 3ee164cd..4a0bd920 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
@@ -12,7 +12,8 @@ generate {
 

         config = {

                 runtime = 10000,

-                log-level = normal

+                log-level = normal,

+                "scopePropagator" = "typeHierarchy"

         }

 

         runs = 1

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig
index 0f2657c1..c609bf33 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig
@@ -14,7 +14,8 @@ generate {
 
         config = {
                 runtime = 10000,
-                log-level = normal
+                log-level = normal,
+                "scopePropagator" = "typeHierarchy"
         }
 
         runs = 1