aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend
diff options
context:
space:
mode:
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.xtend6
1 files changed, 3 insertions, 3 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 7ba38ede..b4ae9293 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
@@ -189,10 +189,10 @@ class RunMeasurements {
189 static val clean = false 189 static val clean = false
190 static val domain = Domain::Yakindu 190 static val domain = Domain::Yakindu
191 static val solver = UseSolver::Viatra 191 static val solver = UseSolver::Viatra
192 static val diverse = false 192 static val diverse = true
193 static val wf = true 193 static val wf = false
194 public static var sizes = #[50] 194 public static var sizes = #[50]
195 static var int number = 10 195 static var int number = 3
196 196
197 def static void waitForEnter() { 197 def static void waitForEnter() {
198 if(monitoring) { 198 if(monitoring) {