package cmu.defect4j.joda.time; import gov.nasa.jpf.util.test.TestJPF; import org.junit.Test; import junit.framework.TestCase; public class TestYearMonthDay_Basics 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 testIsSupported() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testIsSupported"); testcase.run(); } } @Test(timeout=120000) public void testGet() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testGet"); testcase.run(); } } @Test(timeout=120000) public void testEqualsHashCode() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testEqualsHashCode"); testcase.run(); } } @Test(timeout=120000) public void testCompareTo() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testCompareTo"); testcase.run(); } } @Test(timeout=120000) public void testIsEqual_YMD() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testIsEqual_YMD"); testcase.run(); } } @Test(timeout=120000) public void testIsBefore_YMD() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testIsBefore_YMD"); testcase.run(); } } @Test(timeout=120000) public void testIsAfter_YMD() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testIsAfter_YMD"); testcase.run(); } } @Test(timeout=120000) public void testToDateTime_TOD() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTime_TOD"); testcase.run(); } } @Test(timeout=120000) public void testToDateTime_nullTOD() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTime_nullTOD"); testcase.run(); } } @Test(timeout=120000) public void testToDateTime_TOD_Zone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTime_TOD_Zone"); testcase.run(); } } @Test(timeout=120000) public void testToDateTime_TOD_nullZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTime_TOD_nullZone"); testcase.run(); } } @Test(timeout=120000) public void testToDateTime_nullTOD_Zone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTime_nullTOD_Zone"); testcase.run(); } } @Test(timeout=120000) public void testWithChronologyRetainFields_Chrono() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithChronologyRetainFields_Chrono"); testcase.run(); } } @Test(timeout=120000) public void testWithChronologyRetainFields_sameChrono() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithChronologyRetainFields_sameChrono"); testcase.run(); } } @Test(timeout=120000) public void testWithChronologyRetainFields_nullChrono() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithChronologyRetainFields_nullChrono"); testcase.run(); } } @Test(timeout=120000) public void testWithField3() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithField3"); testcase.run(); } } @Test(timeout=120000) public void testWithField4() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithField4"); testcase.run(); } } @Test(timeout=120000) public void testWithFieldAdded5() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithFieldAdded5"); testcase.run(); } } @Test(timeout=120000) public void testWithChronologyRetainFields_invalidInNewChrono() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithChronologyRetainFields_invalidInNewChrono"); testcase.run(); } } @Test(timeout=120000) public void testSerialization() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testSerialization"); testcase.run(); } } @Test(timeout=120000) public void testGetValue() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testGetValue"); testcase.run(); } } @Test(timeout=120000) public void testGetValues() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testGetValues"); testcase.run(); } } @Test(timeout=120000) public void testGetField() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testGetField"); testcase.run(); } } @Test(timeout=120000) public void testGetFieldType() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testGetFieldType"); testcase.run(); } } @Test(timeout=120000) public void testGetFieldTypes() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testGetFieldTypes"); testcase.run(); } } @Test(timeout=120000) public void testWithers() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithers"); testcase.run(); } } @Test(timeout=120000) public void testToString_String() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToString_String"); testcase.run(); } } @Test(timeout=120000) public void testToString_DTFormatter() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToString_DTFormatter"); testcase.run(); } } @Test(timeout=120000) public void testToLocalDate() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToLocalDate"); testcase.run(); } } @Test(timeout=120000) public void testToInterval() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToInterval"); testcase.run(); } } @Test(timeout=120000) public void testWithField1() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithField1"); testcase.run(); } } @Test(timeout=120000) public void testWithField2() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithField2"); testcase.run(); } } @Test(timeout=120000) public void testWithFieldAdded1() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithFieldAdded1"); testcase.run(); } } @Test(timeout=120000) public void testWithFieldAdded2() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithFieldAdded2"); testcase.run(); } } @Test(timeout=120000) public void testWithFieldAdded3() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithFieldAdded3"); testcase.run(); } } @Test(timeout=120000) public void testWithFieldAdded4() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testWithFieldAdded4"); testcase.run(); } } @Test(timeout=120000) public void testPlus_RP() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testPlus_RP"); testcase.run(); } } @Test(timeout=120000) public void testPlusYears_int() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testPlusYears_int"); testcase.run(); } } @Test(timeout=120000) public void testPlusMonths_int() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testPlusMonths_int"); testcase.run(); } } @Test(timeout=120000) public void testPlusDays_int() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testPlusDays_int"); testcase.run(); } } @Test(timeout=120000) public void testMinus_RP() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testMinus_RP"); testcase.run(); } } @Test(timeout=120000) public void testMinusYears_int() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testMinusYears_int"); testcase.run(); } } @Test(timeout=120000) public void testMinusMonths_int() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testMinusMonths_int"); testcase.run(); } } @Test(timeout=120000) public void testMinusDays_int() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testMinusDays_int"); testcase.run(); } } @Test(timeout=120000) public void testProperty() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testProperty"); testcase.run(); } } @Test(timeout=120000) public void testToString_String_Locale() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToString_String_Locale"); testcase.run(); } } @Test(timeout=120000) public void testToDateMidnight() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateMidnight"); testcase.run(); } } @Test(timeout=120000) public void testSize() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testSize"); testcase.run(); } } @Test(timeout=120000) public void testGetFields() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testGetFields"); testcase.run(); } } @Test(timeout=120000) public void testToDateTimeAtMidnight() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTimeAtMidnight"); testcase.run(); } } @Test(timeout=120000) public void testToDateTimeAtMidnight_Zone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTimeAtMidnight_Zone"); testcase.run(); } } @Test(timeout=120000) public void testToDateTimeAtMidnight_nullZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTimeAtMidnight_nullZone"); testcase.run(); } } @Test(timeout=120000) public void testToDateTimeAtCurrentTime() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTimeAtCurrentTime"); testcase.run(); } } @Test(timeout=120000) public void testToDateTimeAtCurrentTime_Zone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTimeAtCurrentTime_Zone"); testcase.run(); } } @Test(timeout=120000) public void testToDateTimeAtCurrentTime_nullZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTimeAtCurrentTime_nullZone"); testcase.run(); } } @Test(timeout=120000) public void testToDateMidnight_Zone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateMidnight_Zone"); testcase.run(); } } @Test(timeout=120000) public void testToDateMidnight_nullZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateMidnight_nullZone"); testcase.run(); } } @Test(timeout=120000) public void testToDateTime_RI() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTime_RI"); testcase.run(); } } @Test(timeout=120000) public void testToDateTime_nullRI() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToDateTime_nullRI"); testcase.run(); } } @Test(timeout=120000) public void testToInterval_Zone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToInterval_Zone"); testcase.run(); } } @Test(timeout=120000) public void testToInterval_nullZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToInterval_nullZone"); testcase.run(); } } @Test(timeout=120000) public void testToString() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestYearMonthDay_Basics("testToString"); testcase.run(); } } }