From 41a48543aea119acae321aae61b85d711610b652 Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Wed, 20 Jan 2021 08:44:27 +0100 Subject: almost finish crossscen VQL + implement ITE handling + prelim results --- .../crossingScenario/inputs/crossingScenarioGen.vsconfig | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) (limited to 'Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig') diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig index acd622c5..a5c862e4 100644 --- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig @@ -7,12 +7,14 @@ generate { partial-model = { "inputs/crossingScenarioInit.xmi"} solver = ViatraSolver scope = { - #node = 10..100, - #int = {}, - # = 10..25, - # = 10..25, - # = 1..10//, - //# = 1..10 + #node = 2..* + //, + //# = 25..* + //,# = 25..* + //,# = 1..10 + //,# = 1..10 + //,# = 1..10 + //,# = 1..10 } config = { -- cgit v1.2.3-70-g09d2