package cmu.defect4j.lang3.time;
import gov.nasa.jpf.util.test.TestJPF;
import org.junit.Test;
//FIXME
public class DateUtilsRoundingTest extends TestJPF {
private final String[] config = {"+nhandler.delegateUnhandledNative", "+classpath+=${jpf-core}/lib/junit-4.11.jar,${jpf-core}/lib/commons-lang3-3.2-SNAPSHOT.jar,${jpf-core}/lib/easymock.jar,${jpf-core}/lib/commons-io.jar"};
public static void main(String[] testMethods){
runTestsOfThisClass(testMethods);
}
@Test(timeout=120000)
public void testRoundYear() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testRoundYear();
}
}
@Test(timeout=120000)
public void testRoundMonth() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testRoundMonth();
}
}
@Test(timeout=120000)
public void testRoundSemiMonth() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testRoundSemiMonth();
}
}
@Test(timeout=120000)
public void testRoundDate() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testRoundDate();
}
}
@Test(timeout=120000)
public void testRoundDayOfMonth() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testRoundDayOfMonth();
}
}
@Test(timeout=120000)
public void testRoundAmPm() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testRoundAmPm();
}
}
@Test(timeout=120000)
public void testRoundHourOfDay() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testRoundHourOfDay();
}
}
@Test(timeout=120000)
public void testRoundHour() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testRoundHour();
}
}
@Test(timeout=120000)
public void testRoundMinute() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testRoundMinute();
}
}
@Test(timeout=120000)
public void testRoundSecond() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testRoundSecond();
}
}
@Test(timeout=120000)
public void testRoundMilliSecond() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testRoundMilliSecond();
}
}
@Test(timeout=120000)
public void testTruncateYear() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testTruncateYear();
}
}
@Test(timeout=120000)
public void testTruncateMonth() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testTruncateMonth();
}
}
@Test(timeout=120000)
public void testTruncateSemiMonth() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testTruncateSemiMonth();
}
}
@Test(timeout=120000)
public void testTruncateDate() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testTruncateDate();
}
}
@Test(timeout=120000)
public void testTruncateDayOfMonth() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testTruncateDayOfMonth();
}
}
@Test(timeout=120000)
public void testTruncateAmPm() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testTruncateAmPm();
}
}
@Test(timeout=120000)
public void testTruncateHour() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testTruncateHour();
}
}
@Test(timeout=120000)
public void testTruncateHourOfDay() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testTruncateHourOfDay();
}
}
@Test(timeout=120000)
public void testTruncateMinute() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testTruncateMinute();
}
}
@Test(timeout=120000)
public void testTruncateSecond() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testTruncateSecond();
}
}
@Test(timeout=120000)
public void testTruncateMilliSecond() throws Exception {
if (verifyNoPropertyViolation(config)) {
org.apache.commons.lang3.time.DateUtilsRoundingTest object = new org.apache.commons.lang3.time.DateUtilsRoundingTest();
object.setUp();
object.testTruncateMilliSecond();
}
}
}