aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@SEMERATH-LAPTOP>2017-08-16 17:19:10 +0200
committerLibravatar OszkarSemerath <oszka@SEMERATH-LAPTOP>2017-08-16 17:19:10 +0200
commit24f1e1363bfc3d9225f8e2a68fad300bff634ced (patch)
tree1a79b551b8b4034ced0787d6673c6af58c480362 /Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend
parentSMT support for primitive types (diff)
downloadVIATRA-Generator-24f1e1363bfc3d9225f8e2a68fad300bff634ced.tar.gz
VIATRA-Generator-24f1e1363bfc3d9225f8e2a68fad300bff634ced.tar.zst
VIATRA-Generator-24f1e1363bfc3d9225f8e2a68fad300bff634ced.zip
runners with new type scopes
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend')
-rw-r--r--Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend2
1 files changed, 1 insertions, 1 deletions
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 {
136 it.typeScopes.maxNewElements = size 136 it.typeScopes.maxNewElements = size
137 it.typeScopes.minNewElements = size 137 it.typeScopes.minNewElements = size
138 it.solutionScope.numberOfRequiredSolution = number 138 it.solutionScope.numberOfRequiredSolution = number
139 it.typeScopes.maxIntScope = 0 139 it.typeScopes.maxNewIntegers = 0
140 it.writeToFile = true 140 it.writeToFile = true
141 ] 141 ]
142 val solution = this.alloyReasoner.solve( 142 val solution = this.alloyReasoner.solve(