From 82bbdc37fc4dd829a84a849a3e3ffb2467217526 Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Wed, 6 Jan 2021 12:41:48 -0500 Subject: fine-tune measurement setup --- .../case.study.pledge.run/config/genericFamilyTree.vsconfig | 6 ++++-- .../case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig | 3 ++- .../case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig | 3 ++- .../case.study.pledge.run/config/genericSatellite.vsconfig | 3 ++- .../case.study.pledge.run/config/genericTaxation.vsconfig | 3 ++- 5 files changed, 12 insertions(+), 6 deletions(-) (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config') 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 -- cgit v1.2.3-54-g00ecf