package verifier;

import new_simvasos.property.PropertyChecker;
import new_simvasos.verifier.Verifier;
import org.junit.Test;

import static org.junit.Assert.*;

public class SPRTTest extends Verifier {

    public SPRTTest(PropertyChecker checker) {
        super(checker);
    }

    @Test
    public void verifyWithSimulator() {
    }
}
package verifier;

import new_simvasos.property.PropertyChecker;
import new_simvasos.verifier.Verifier;
import org.junit.Test;

import static org.junit.Assert.*;

public class SPRTTest extends Verifier {
    // SPRT test 
    public SPRTTest(PropertyChecker checker) {
        super(checker);
    }

    @Test
    public void verifyWithSimulator() {
    }
}
Update SPRTTest.java