private ISimulatorExecutor GetExecutor(SimulatorTarget target)
        {
            var executor = default(ISimulatorExecutor);

            switch (target)
            {
            case SimulatorTarget.Kpw: executor = new KpwExecutor(); break;

            case SimulatorTarget.Flame: executor = new FlameExecutor(); break;
            }

            return(executor);
        }
 public async Task Verify(FileInfo kplModelFile, FileInfo outputFile, SimulatorSettings settings, SimulatorTarget target, ISimulatorProgressMonitor monitor)
 {
     var executor = GetExecutor(target);
     await executor.Verify(kplModelFile, outputFile, settings, monitor);
 }