Examples with CoverageWriter org.kanonizo.reporting.CoverageWriter used on opensource projects

Example 1 with CoverageWriter

use of org.kanonizo.reporting.CoverageWriter in project kanonizo by kanonizo.

the class Framework method run.

public void run() throws ClassNotFoundException {
    loadClasses();
    if (Properties.PRIORITISE) {
        algorithm.setSearchProblem(sut);
    }
    if (algorithm.needsFitnessFunction()) {
        setupFitnessFunction();
    }
    TestCaseOrderingWriter writer = new TestCaseOrderingWriter(algorithm);
    addWriter(writer);
    addWriter(new CoverageWriter(sut));
    addWriter(new MiscStatsWriter(algorithm));
    if (Properties.PRIORITISE) {
        algorithm.start();
    }
    reportResults(algorithm);
}