1 files changed, 20 insertions, 2 deletions

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 = {