1 files changed, 51 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericCrossScenario.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericCrossScenario.vsconfig
new file mode 100644
index 00000000..290b8835
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericCrossScenario.vsconfig
@@ -0,0 +1,51 @@
+import epackage "../../../Domains/crossingScenario/model/crossingScenario.ecore"

+import viatra   "queries/csQueriesScale.vql"

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

+import viatra "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 += 10..*

+        }

+

+        config = {

+                runtime = 10000,

+                "numeric-solver" = "z3",

+                log-level = none

+        }

+

+        runs = 1

+

+        output = "measurements/debug/warmup"

+}

+

+generate {

+        metamodel = { package crossingScenario }

+        constraints = { package queries}

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

+        solver = ViatraSolver

+        scope = {

+                #node += 3..*

+                ,#<Lane> += 0

+                ,#<Relation> += 0

+        }

+        

+        config = {

+                runtime = 10000,

+                "numeric-solver" = "z3",

+                "dreal-local-path" = "enterPathHere",

+                "dreal-timeout" = "10000",

+                log-level = none,

+                "scopePropagator" = "polyhedral"}

+        

+        runs = 1

+        number = 10

+        debug =                 "outputs/debug"

+        log =                   "outputs/debug/log.txt"

+        output =                "outputs/models"        

+        statistics =    "outputs/debug/statistics.csv"

+}