aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
diff options
context:
space:
mode:
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.xtend3
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