// Path: src/test/java/com/github/havarunner/TestHelper.java
// public static void run(HavaRunner havaRunner, RunNotifier runNotifier) {
//     havaRunner.run(runNotifier);
// }


import com.github.havarunner.HavaRunner;
import org.junit.After;
import org.junit.Test;
import static com.github.havarunner.TestHelper.run;
import static org.junit.Assert.assertTrue;
package com.github.havarunner.suite.covariant;



public class SuiteConstructorSubclassTest {

    static boolean suiteMemberTestInvoked = false;

    @After
    public void reset() {
        suiteMemberTestInvoked = false;
    }

    @Test
    public void havarunner_should_support_covariant_suite_objects(){
// Path: src/test/java/com/github/havarunner/TestHelper.java
// public static void run(HavaRunner havaRunner, RunNotifier runNotifier) {
//     havaRunner.run(runNotifier);
// }


// Path: src/test/java/com/github/havarunner/suite/covariant/SuiteConstructorSubclassTest.java
import com.github.havarunner.HavaRunner;
import org.junit.After;
import org.junit.Test;
import static com.github.havarunner.TestHelper.run;
import static org.junit.Assert.assertTrue;

package com.github.havarunner.suite.covariant;



public class SuiteConstructorSubclassTest {

    static boolean suiteMemberTestInvoked = false;

    @After
    public void reset() {
        suiteMemberTestInvoked = false;
    }

    @Test
    public void havarunner_should_support_covariant_suite_objects(){
        run(new HavaRunner(Suite.class));