CoverLaunchData coverData;
coverData = new CoverLaunchData(config);
final CoverBackend coverBackend = CoverBackend.getInstance();
coverBackend.setBackend(backend);
coverBackend.initialize(coverData);
coverBackend.runCoverageAnalysis(new CoverRunner());
} catch (final CoreException e) {
ErlLogger.error(e);
} catch (final CoverException e) {
if (CoverBackend.getInstance().getListeners().size() == 0) {