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() {
    }
}
@@ -197,16 +197,33 @@
 ifier %7B%0A
+    // SPRT test 
 %0A    pub

Update SPRTTest.java