public TestExecutorWithInstrumenting(ITestExecutor <TTestCase, TProgramDelta, TProgram> executor,
                                      ITestsInstrumentor <TProgram, TTestCase> instrumentor,
                                      CorrespondenceModelManager <TProgram> correspondenceModelManager,
                                      IApplicationClosedHandler applicationClosedHandler,
                                      ILoggingHelper loggingHelper)
 {
     this.executor     = executor;
     this.instrumentor = instrumentor;
     this.correspondenceModelManager = correspondenceModelManager;
     this.applicationClosedHandler   = applicationClosedHandler;
     this.loggingHelper = loggingHelper;
 }
 public DynamicTestSelector(CorrespondenceModelManager <CSharpClassesProgramModel> correspondenceModelProvider,
                            IDeltaAdapter <TProgramDelta, StructuralDelta <CSharpClassesProgramModel, CSharpClassElement>, TProgram, CSharpClassesProgramModel> deltaAdapter)
 {
     this.correspondenceModelProvider = correspondenceModelProvider;
     this.deltaAdapter = deltaAdapter;
 }