From 7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Sun, 10 May 2020 22:09:17 +0200
Subject: Add satellite case study

---
 .../configs/generation.vsconfig                    | 25 ++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig

(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig')

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig
new file mode 100644
index 00000000..2fb246c9
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig
@@ -0,0 +1,25 @@
+import epackage "model/satellite.ecore"
+import viatra "src/hu/bme/mit/inf/dslreasoner/domains/satellite/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 += 32..64
+	}
+
+	config = {
+		runtime = 10000,
+		log-level = normal
+	}
+
+	number = 1
+	runs = 5
+
+	debug =	"outputs/debug"
+	log = "outputs/log.txt"
+	output = "outputs/models"
+	statistics = "outputs/statistics.csv"
+}
-- 
cgit v1.2.3-54-g00ecf