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();
}
}
}