package fr.inria.diversify.coverage;

/**
 * Created by marodrig on 17/07/2014.
 */
public class MultiTraceCoverageReport {
}