From 24f1e1363bfc3d9225f8e2a68fad300bff634ced Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 16 Aug 2017 17:19:10 +0200 Subject: runners with new type scopes --- .../src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend') diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend index 8de44b5b..e96a6bf6 100644 --- a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend @@ -136,7 +136,7 @@ class RunMeasurements { it.typeScopes.maxNewElements = size it.typeScopes.minNewElements = size it.solutionScope.numberOfRequiredSolution = number - it.typeScopes.maxIntScope = 0 + it.typeScopes.maxNewIntegers = 0 it.writeToFile = true ] val solution = this.alloyReasoner.solve( -- cgit v1.2.3-54-g00ecf