diff options
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 | 2 |
1 files changed, 1 insertions, 1 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 2cbfc20d..95a5d03f 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 | |||
@@ -164,7 +164,7 @@ class GenerationTaskExecutor { | |||
164 | 164 | ||
165 | // 6.2 For each run, the configuration and the workspace is adjusted | 165 | // 6.2 For each run, the configuration and the workspace is adjusted |
166 | solverLoader.setRunIndex(solverConfig,configurationMap,run,console) | 166 | solverLoader.setRunIndex(solverConfig,configurationMap,run,console) |
167 | solverConfig.progressMonitor = new EclipseProgressMonitor(monitor) | 167 | solverConfig.progressMonitor = new EclipseBasedProgressMonitor(monitor) |
168 | val reasonerWorkspaceForRun = if(runs > 1) { | 168 | val reasonerWorkspaceForRun = if(runs > 1) { |
169 | reasonerWorkspace.subWorkspace('''run«run»''',"") => [initAndClear] | 169 | reasonerWorkspace.subWorkspace('''run«run»''',"") => [initAndClear] |
170 | } else { | 170 | } else { |