1 files changed, 0 insertions, 28 deletions

diff --git a/Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig b/Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig
deleted file mode 100644
index a411d968..00000000
--- a/Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig
+++ /dev/null
@@ -1,28 +0,0 @@
-import epackage "model/simpleScenario.ecore"

-import viatra   "queries/simpleScenarioQueries.vql"

-

-generate {

-        metamodel = { package simpleScenario }

-        constraints = { package queries}

-        partial-model = { "inputs/SimpleScenarioInstance.xmi"}

-        solver = ViatraSolver

-        scope = {

-                #node = 10..30,

-                #int = {},

-                #<Lane> = 1

-        }

-        

-        config = {

-                runtime = 10000,

-                log-level = normal,

-                "numeric-solver" = "dreal",

-                "scopePropagator" = "typeHierarchy"

-        }

-        

-        runs = 1

-        

-        debug =                 "outputs/debug"

-        log =                   "outputs/debug/log.txt"

-        output =                "outputs/models"        

-        statistics =    "outputs/statistics.csv"

-}
\ No newline at end of file