package cmu.defect4j.math3.geometry.euclidean.threed;
import gov.nasa.jpf.util.test.TestJPF;
import org.junit.Test;
public class SubLineTest extends TestJPF {
private final String[] config = {"+nhandler.delegateUnhandledNative", "+classpath+=${jpf-core}/lib/junit-4.11.jar,lib/commons-math-3.1-SNAPSHOT.jar"};
public static void main(String[] testMethods){
runTestsOfThisClass(testMethods);
}
@Test(timeout=1000000)
public void testEndPoints() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testEndPoints();
}
}
@Test(timeout=1000000)
public void testNoEndPoints() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testNoEndPoints();
}
}
@Test(timeout=1000000)
public void testNoSegments() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testNoSegments();
}
}
@Test(timeout=1000000)
public void testSeveralSegments() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testSeveralSegments();
}
}
@Test(timeout=1000000)
public void testHalfInfiniteNeg() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testHalfInfiniteNeg();
}
}
@Test(timeout=1000000)
public void testHalfInfinitePos() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testHalfInfinitePos();
}
}
@Test(timeout=1000000)
public void testIntersectionInsideInside() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testIntersectionInsideInside();
}
}
@Test(timeout=1000000)
public void testIntersectionInsideBoundary() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testIntersectionInsideBoundary();
}
}
@Test(timeout=1000000)
public void testIntersectionInsideOutside() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testIntersectionInsideOutside();
}
}
@Test(timeout=1000000)
public void testIntersectionBoundaryBoundary() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testIntersectionBoundaryBoundary();
}
}
@Test(timeout=1000000)
public void testIntersectionBoundaryOutside() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testIntersectionBoundaryOutside();
}
}
@Test(timeout=1000000)
public void testIntersectionOutsideOutside() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testIntersectionOutsideOutside();
}
}
@Test(timeout=1000000)
public void testIntersectionNotIntersecting() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.math3.geometry.euclidean.threed.SubLineTest object = new org.apache.commons.math3.geometry.euclidean.threed.SubLineTest();
object.testIntersectionNotIntersecting();
}
}
}