From b21af04ea821c3daa9ce8a6d26c63e9cd198f9a5 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 8 Jun 2019 19:17:34 -0400 Subject: Trying to simplify Satellite case study --- .../configs/generation.vsconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs') 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 1942980c..e0889475 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 { partial-model = { "inputs/SatelliteInstance.xmi"} solver = ViatraSolver scope = { - #node += 16..32 + #node += 0..10 } config = { -- cgit v1.2.3-70-g09d2