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/genericSatellite.vsconfig | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig') 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 -- cgit v1.2.3-70-g09d2