diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-06-16 01:52:22 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-06-16 01:52:22 +0200 |
| commit | ea3b5cfc3e7dc8b472cd7448f2c43477a4c33553 (patch) | |
| tree | d00e8844ad43b1e1f6996306d325f14ac9d7b27c /Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend | |
| parent | Instruction to install alloy added (diff) | |
| download | VIATRA-Generator-ea3b5cfc3e7dc8b472cd7448f2c43477a4c33553.tar.gz VIATRA-Generator-ea3b5cfc3e7dc8b472cd7448f2c43477a4c33553.tar.zst VIATRA-Generator-ea3b5cfc3e7dc8b472cd7448f2c43477a4c33553.zip | |
Divers Generation times are added to statisticsexample scenario
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.xtend | 6 |
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) { |