diff options
author | 2020-05-12 20:45:15 +0200 | |
---|---|---|
committer | 2020-05-12 20:45:15 +0200 | |
commit | 3b1984761eb8a520a8fd5631b825b640b3fd822c (patch) | |
tree | 5680b8ebfd63c54c50c10331d680a3e0efab1f87 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | |
parent | removed unnecesary printing (diff) | |
download | VIATRA-Generator-3b1984761eb8a520a8fd5631b825b640b3fd822c.tar.gz VIATRA-Generator-3b1984761eb8a520a8fd5631b825b640b3fd822c.tar.zst VIATRA-Generator-3b1984761eb8a520a8fd5631b825b640b3fd822c.zip |
memory cleaning for measurements
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 | ||