aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-05-07 11:54:19 -0400
committerLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-05-07 11:54:19 -0400
commit436ec038c24c42e615feb22a0fed029494bc74ea (patch)
treef3783961c521b73201a9d079be78feb26e8a285c /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs
parentTry to restructure satellite case study (diff)
downloadVIATRA-Generator-436ec038c24c42e615feb22a0fed029494bc74ea.tar.gz
VIATRA-Generator-436ec038c24c42e615feb22a0fed029494bc74ea.tar.zst
VIATRA-Generator-436ec038c24c42e615feb22a0fed029494bc74ea.zip
Revert "Try to restructure satellite case study"
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig2
1 files changed, 1 insertions, 1 deletions
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
index 726f838f..1942980c 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig
@@ -7,7 +7,7 @@ generate {
7 partial-model = { "inputs/SatelliteInstance.xmi"} 7 partial-model = { "inputs/SatelliteInstance.xmi"}
8 solver = ViatraSolver 8 solver = ViatraSolver
9 scope = { 9 scope = {
10 #node += 8..16 10 #node += 16..32
11 } 11 }
12 12
13 config = { 13 config = {