1 files changed, 25 insertions, 0 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
new file mode 100644
index 00000000..b683073a
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
@@ -0,0 +1,25 @@
+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 {

+        metamodel = { package satellite }

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

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

+        solver = ViatraSolver

+        scope = {

+                #node += 64..128

+        }

+

+        config = {

+                runtime = 10000,

+                log-level = normal

+        }

+

+        runs = 1

+

+        debug = "outputs/debug"

+        log = "outputs/log.txt"

+        output = "outputs/models"

+        statistics = "outputs/statistics.csv"

+}