TestDateTime_Properties.java

package cmu.defect4j.joda.time;

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

    private final String[] config = {"+nhandler.delegateUnhandledNative", "+classpath+=${jpf-core}/lib/junit-3.8.2.jar,lib/joda-convert-1.2.jar,jodatime/target/classes/,jodatime/target/test-classes,jodatime/"};

    public static void main(String[] testMethods){
        runTestsOfThisClass(testMethods);
    }
	@Test(timeout=120000)
	public void testTest() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testTest");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetEra() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetEra");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetYearOfEra() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetYearOfEra");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetCenturyOfEra() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetCenturyOfEra");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetYearOfCentury() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetYearOfCentury");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetWeekyear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetWeekyear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetMonthOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetMonthOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertySetMonthOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertySetMonthOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertySetTextMonthOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertySetTextMonthOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddMonthOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddMonthOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddWrapFieldMonthOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddWrapFieldMonthOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetDayOfMonth() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetDayOfMonth");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyWithMaximumValueDayOfMonth() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyWithMaximumValueDayOfMonth");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyWithMinimumValueDayOfMonth() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyWithMinimumValueDayOfMonth");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetDayOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetDayOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetWeekOfWeekyear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetWeekOfWeekyear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetDayOfWeek() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetDayOfWeek");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyToIntervalYearOfEra() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyToIntervalYearOfEra");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyToIntervalYearOfCentury() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyToIntervalYearOfCentury");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyToIntervalYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyToIntervalYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyToIntervalMonthOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyToIntervalMonthOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyToIntervalDayOfMonth() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyToIntervalDayOfMonth");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyEqualsHashCodeLenient() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyEqualsHashCodeLenient");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyEqualsHashCodeStrict() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyEqualsHashCodeStrict");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyLeapYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyLeapYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddWrapFieldYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddWrapFieldYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertySetYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertySetYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertySetTextYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertySetTextYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyCompareToYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyCompareToYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyCompareToYear2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyCompareToYear2");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyEqualsHashCodeYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyEqualsHashCodeYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyLeapMonthOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyLeapMonthOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyCompareToMonthOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyCompareToMonthOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetMaxMinValuesDayOfMonth() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetMaxMinValuesDayOfMonth");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddDayOfMonth() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddDayOfMonth");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddWrapFieldDayOfMonth() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddWrapFieldDayOfMonth");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertySetDayOfMonth() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertySetDayOfMonth");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertySetTextDayOfMonth() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertySetTextDayOfMonth");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyWithMaximumValueMillisOfDayDSTGap() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyWithMaximumValueMillisOfDayDSTGap");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyWithMinimumValueMillisOfDayDSTGap() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyWithMinimumValueMillisOfDayDSTGap");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyCompareToDayOfMonth() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyCompareToDayOfMonth");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetMaxMinValuesDayOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetMaxMinValuesDayOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddDayOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddDayOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddWrapFieldDayOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddWrapFieldDayOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertySetDayOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertySetDayOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertySetTextDayOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertySetTextDayOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyCompareToDayOfYear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyCompareToDayOfYear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetMaxMinValuesWeekOfWeekyear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetMaxMinValuesWeekOfWeekyear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddWeekOfWeekyear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddWeekOfWeekyear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddWrapFieldWeekOfWeekyear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddWrapFieldWeekOfWeekyear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertySetWeekOfWeekyear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertySetWeekOfWeekyear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertySetTextWeekOfWeekyear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertySetTextWeekOfWeekyear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyCompareToWeekOfWeekyear() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyCompareToWeekOfWeekyear");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddDayOfWeek() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddDayOfWeek");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddLongDayOfWeek() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddLongDayOfWeek");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyAddWrapFieldDayOfWeek() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyAddWrapFieldDayOfWeek");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertySetDayOfWeek() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertySetDayOfWeek");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertySetTextDayOfWeek() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertySetTextDayOfWeek");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyCompareToDayOfWeek() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyCompareToDayOfWeek");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetHourOfDay() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetHourOfDay");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetDifferenceHourOfDay() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetDifferenceHourOfDay");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyRoundFloorHourOfDay() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyRoundFloorHourOfDay");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyRoundCeilingHourOfDay() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyRoundCeilingHourOfDay");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyRoundHalfFloorHourOfDay() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyRoundHalfFloorHourOfDay");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyRoundHalfCeilingHourOfDay() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyRoundHalfCeilingHourOfDay");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyRoundHalfEvenHourOfDay() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyRoundHalfEvenHourOfDay");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyRemainderHourOfDay() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyRemainderHourOfDay");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetMinuteOfHour() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetMinuteOfHour");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetMinuteOfDay() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetMinuteOfDay");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetSecondOfMinute() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetSecondOfMinute");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetSecondOfDay() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetSecondOfDay");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetMillisOfSecond() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetMillisOfSecond");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyGetMillisOfDay() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyGetMillisOfDay");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyToIntervalHourOfDay() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyToIntervalHourOfDay");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyToIntervalMinuteOfHour() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyToIntervalMinuteOfHour");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyToIntervalSecondOfMinute() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyToIntervalSecondOfMinute");
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testPropertyToIntervalMillisOfSecond() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new org.joda.time.TestDateTime_Properties("testPropertyToIntervalMillisOfSecond");
			testcase.run();
		}
	}

}