eu.stamp_project.diff_test_selection

Class CloverExecutor

java.lang.Object

eu.stamp_project.diff_test_selection.CloverExecutor

public class CloverExecutor
extends Object

Created by Benjamin DANGLOT benjamin.danglot@inria.fr on 25/07/18

Constructor Summary

Constructors

Constructor and Description
CloverExecutor()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CloverExecutor

public CloverExecutor()