From 4d914f3a77f64dc326933921b03735d4aabd9214 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 13 May 2020 00:34:43 -0400 Subject: Adjust measurement setup. TaxationWithRoot support. JAR creation --- .../config/genericSatellite.vsconfig | 22 ++++++++++++++++++++-- 1 file changed, 20 insertions(+), 2 deletions(-) (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 b683073a..ab25ea32 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig @@ -1,5 +1,4 @@ import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" -//import viatra "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql" import viatra "src/queries/SatelliteQueries.vql" generate { @@ -8,7 +7,26 @@ generate { partial-model = { "inputs/SatelliteInstance.xmi"} solver = ViatraSolver scope = { - #node += 64..128 + #node += 20..* + } + + config = { + runtime = 10000, + log-level = normal + } + + runs = 1 + + output = "measurements/debug/warmup" +} + +generate { + metamodel = { package satellite } + constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } + partial-model = { "inputs/SatelliteInstance.xmi"} + solver = ViatraSolver + scope = { + #node += 64..* } config = { -- cgit v1.2.3-54-g00ecf