// Clp20SimProgramLauncher(ctFile));
engine.setCtSimulationLauncher(selectClp20SimLauncher(engine, ctFile));
engine.setCtEndpoint(new URL(IDebugConstants.DEFAULT_CT_ENDPOINT));
} else
{
engine.setCtSimulationLauncher(new DummyLauncher("CT simulator"));
engine.setCtEndpoint(ctUrl);
}
ModelConfig ctModel = getCtModelConfig(ctFile);
engine.setCtModel(ctModel);