Adjust measurement setup. TaxationWithRoot support. JAR creation

1 files changed, 22 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 60e6b895..2ce18b6f 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,26 @@
 import epackage "../case.study.familyTree.model/model/familytree.ecore"

 import viatra   "src/queries/familyTreeConstraints.vql"

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

+import viatra "src/queries/SatelliteQueries.vql"

+

+generate {

+        metamodel = { package satellite }

+        constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries }

+        partial-model = { "inputs/SatelliteInstance.xmi"}

+        solver = ViatraSolver

+        scope = {

+                #node += 20..*

+        }

+

+        config = {

+                runtime = 10000,

+                log-level = normal

+        }

+

+        runs = 1

+

+        output = "measurements/debug/warmup"

+}

 

 generate {

         metamodel = { package familytree }

@@ -7,8 +28,7 @@ generate {
         partial-model = { "inputs/FamilyTree.xmi" }

         solver = ViatraSolver

         scope = {

-                #node = 6..15,

-                #int = {}

+                #node = 6..*

         }

         

         config = {