package cmu.defect4j.joda.time; import gov.nasa.jpf.util.test.TestJPF; import org.junit.Test; import junit.framework.TestCase; public class TestDateMidnight_Constructors 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 testConstructor_invalidObject_DateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_invalidObject_DateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_nullObject_DateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_nullObject_DateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_Object_nullDateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_Object_nullDateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_nullObject_nullDateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_nullObject_nullDateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_badconverterObject_DateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_badconverterObject_DateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_invalidObject_Chronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_invalidObject_Chronology"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_nullObject_Chronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_nullObject_Chronology"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_Object_nullChronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_Object_nullChronology"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_nullObject_nullChronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_nullObject_nullChronology"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_badconverterObject_Chronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_badconverterObject_Chronology"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_int_int_int() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_int_int_int"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_int_int_int_DateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_int_int_int_DateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_int_int_int_nullDateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_int_int_int_nullDateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_int_int_int_Chronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_int_int_int_Chronology"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_int_int_int_nullChronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_int_int_int_nullChronology"); testcase.run(); } } @Test(timeout=120000) public void test_now() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("test_now"); testcase.run(); } } @Test(timeout=120000) public void test_now_DateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("test_now_DateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void test_now_nullDateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("test_now_nullDateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void test_now_Chronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("test_now_Chronology"); testcase.run(); } } @Test(timeout=120000) public void test_now_nullChronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("test_now_nullChronology"); testcase.run(); } } @Test(timeout=120000) public void testParse_noFormatter() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testParse_noFormatter"); testcase.run(); } } @Test(timeout=120000) public void testParse_formatter() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testParse_formatter"); testcase.run(); } } @Test(timeout=120000) public void testConstructor() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_DateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_DateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_nullDateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_nullDateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_Chronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_Chronology"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_nullChronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_nullChronology"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_long1() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_long1"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_long2() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_long2"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_long1_DateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_long1_DateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_long2_DateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_long2_DateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_long_nullDateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_long_nullDateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_long1_Chronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_long1_Chronology"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_long2_Chronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_long2_Chronology"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_long_nullChronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_long_nullChronology"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_Object() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_Object"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_invalidObject() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_invalidObject"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_nullObject() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_nullObject"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_badconverterObject() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_badconverterObject"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_Object_DateTimeZone() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_Object_DateTimeZone"); testcase.run(); } } @Test(timeout=120000) public void testConstructor_Object_Chronology() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testConstructor_Object_Chronology"); testcase.run(); } } @Test(timeout=120000) public void testTest() throws Exception { if (verifyNoPropertyViolation(config)) { TestCase testcase = new org.joda.time.TestDateMidnight_Constructors("testTest"); testcase.run(); } } }