org.pitest.coverage.CoverageReceiver Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of pitest Show documentation

Mutation testing system for Java.

There is a newer version: 1.16.1

package org.pitest.coverage;

import org.pitest.testapi.Description;

import sun.pitest.InvokeReceiver;

public interface CoverageReceiver extends InvokeReceiver {

  void newTest();

  void recordTestOutcome(Description description, boolean wasGreen,
      int executionTime);

}