diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-19 21:22:01 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-19 22:11:37 +0200 |
| commit | 167e0470bc4562f77d46d8af8c0ef6794dfee693 (patch) | |
| tree | 8f647b4a6d6b412b9e912a4e0841a2898e830b13 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | |
| parent | Config language WIP (diff) | |
| parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff) | |
| download | VIATRA-Generator-167e0470bc4562f77d46d8af8c0ef6794dfee693.tar.gz VIATRA-Generator-167e0470bc4562f77d46d8af8c0ef6794dfee693.tar.zst VIATRA-Generator-167e0470bc4562f77d46d8af8c0ef6794dfee693.zip | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend')
| -rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend index 1f52c4b3..aa98e268 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | |||
| @@ -184,6 +184,9 @@ class GenerationTaskExecutor { | |||
| 184 | 184 | ||
| 185 | console.writeMessage("Model generation started") | 185 | console.writeMessage("Model generation started") |
| 186 | for(run : 1..runs) { | 186 | for(run : 1..runs) { |
| 187 | if(run > 1) { | ||
| 188 | ScriptExecutor::restForMeasurements(console) | ||
| 189 | } | ||
| 187 | monitor.subTask('''Solving problem«IF runs>0» «run»/«runs»«ENDIF»''') | 190 | monitor.subTask('''Solving problem«IF runs>0» «run»/«runs»«ENDIF»''') |
| 188 | val visualisationProgressMonitor= new EclipseBasedProgressMonitor(monitor) | 191 | val visualisationProgressMonitor= new EclipseBasedProgressMonitor(monitor) |
| 189 | 192 | ||