runners with new type scopes

1 files changed, 2 insertions, 2 deletions

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend
index 0a304915..78382c2a 100644
--- a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend
@@ -64,7 +64,7 @@ class SimpleRun {
                 println("Problem created")

                 var LogicResult solution

                 var LogicReasoner reasoner

-                //*

+                /*

                 reasoner = new ViatraReasoner

                 val viatraConfig = new ViatraReasonerConfiguration => [

                         it.typeScopes.maxNewElements = 40

@@ -82,7 +82,7 @@ class SimpleRun {
                                 it.typeScopes.maxNewElements = 5

                                 it.typeScopes.minNewElements = 5

                                 it.solutionScope.numberOfRequiredSolution = 1

-                                it.typeScopes.maxIntScope = 0

+                                it.typeScopes.maxNewIntegers = 0

                                 it.writeToFile = true

                         ]

                 solution = reasoner.solve(logicProblem,alloyConfig,workspace)