SegmentedTimelineTests.java

package cmu.defect4j.jfree.chart.axis.junit;

import gov.nasa.jpf.util.test.TestJPF;
import org.junit.Test;
import junit.framework.TestCase;
public class SegmentedTimelineTests extends TestJPF {

    private final String[] config = {"+nhandler.delegateUnhandledNative", "+classpath+=${jpf-core}/lib/junit-4.11.jar,${jpf-core}/lib/jfreechart-1.2.0-ea1.jar"};

    public static void main(String[] testMethods){
        runTestsOfThisClass(testMethods);
    }
	@Test(timeout=120000)
	public void testEquals() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testEquals");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testCloning() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testCloning");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testSerialization() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testSerialization");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testHashCode() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testHashCode");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMsSegmentedTimeline() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMsSegmentedTimeline");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMs2SegmentedTimeline() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMs2SegmentedTimeline");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMondayThroughFridaySegmentedTimeline() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMondayThroughFridaySegmentedTimeline");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFifteenMinSegmentedTimeline() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testFifteenMinSegmentedTimeline");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMsSegment() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMsSegment");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMs2Segment() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMs2Segment");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMondayThroughFridaySegment() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMondayThroughFridaySegment");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFifteenMinSegment() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testFifteenMinSegment");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMsInc() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMsInc");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMs2Inc() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMs2Inc");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMondayThroughFridayInc() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMondayThroughFridayInc");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFifteenMinInc() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testFifteenMinInc");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMsIncludedAndExcludedSegments() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMsIncludedAndExcludedSegments");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMs2IncludedAndExcludedSegments() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMs2IncludedAndExcludedSegments");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMondayThroughFridayIncludedAndExcludedSegments() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMondayThroughFridayIncludedAndExcludedSegments");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFifteenMinIncludedAndExcludedSegments() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testFifteenMinIncludedAndExcludedSegments");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMsExceptionSegments() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMsExceptionSegments");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMs2BaseTimelineExceptionSegments() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMs2BaseTimelineExceptionSegments");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMondayThoughFridayExceptionSegments() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMondayThoughFridayExceptionSegments");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFifteenMinExceptionSegments() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testFifteenMinExceptionSegments");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMsTranslations() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMsTranslations");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMs2BaseTimelineTranslations() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMs2BaseTimelineTranslations");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMs2Translations() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testMs2Translations");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFifteenMinTranslations() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testFifteenMinTranslations");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testSerialization2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testSerialization2");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testBasicSegmentedTimeline() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testBasicSegmentedTimeline");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testSegmentedTimelineWithException1() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.jfree.chart.axis.junit.SegmentedTimelineTests("testSegmentedTimelineWithException1");
			testcase.run();
		}
	}

}