From 555987a459702674da350fa1fd5f76ffe14cd7c0 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 9 Jun 2019 14:45:02 -0400 Subject: Simplify satellite metamodel further --- .../configs/generation.vsconfig | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (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 e0889475..4296e632 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 += 0..10 + #node += 32..64 } config = { @@ -16,7 +16,7 @@ generate { } number = 1 - runs = 1 + runs = 5 debug = "outputs/debug" log = "outputs/log.txt" -- cgit v1.2.3-70-g09d2