/**
*/
package exhaustive;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Abstract Test</b></em>'.
* <!-- end-user-doc -->
*
*
* @see exhaustive.ExhaustivePackage#getAbstractTest()
* @model abstract="true"
* @generated
*/
public interface AbstractTest extends OperationsTest {
} // AbstractTest