CharUtilsTest.java

package cmu.defect4j.lang3;

import gov.nasa.jpf.util.test.TestJPF;
import org.junit.Test;

public class CharUtilsTest 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 testToCharacterObject_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToCharacterObject_char();
        }
    }

    @Test(timeout=120000)
    public void testToCharacterObject_String() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToCharacterObject_String();
        }
    }

    @Test(timeout=120000)
    public void testToChar_Character() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToChar_Character();
        }
    }

    @Test(timeout=120000)
    public void testToChar_Character_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToChar_Character_char();
        }
    }

    @Test(timeout=120000)
    public void testToChar_String() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToChar_String();
        }
    }

    @Test(timeout=120000)
    public void testToChar_String_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToChar_String_char();
        }
    }

    @Test(timeout=120000)
    public void testToIntValue_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToIntValue_char();
        }
    }

    @Test(timeout=120000)
    public void testToIntValue_char_int() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToIntValue_char_int();
        }
    }

    @Test(timeout=120000)
    public void testToIntValue_Character() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToIntValue_Character();
        }
    }

    @Test(timeout=120000)
    public void testToIntValue_Character_int() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToIntValue_Character_int();
        }
    }

    @Test(timeout=120000)
    public void testToString_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToString_char();
        }
    }

    @Test(timeout=120000)
    public void testToString_Character() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToString_Character();
        }
    }

    @Test(timeout=120000)
    public void testToUnicodeEscaped_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToUnicodeEscaped_char();
        }
    }

    @Test(timeout=120000)
    public void testToUnicodeEscaped_Character() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testToUnicodeEscaped_Character();
        }
    }

    @Test(timeout=120000)
    public void testIsAscii_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testIsAscii_char();
        }
    }

    @Test(timeout=120000)
    public void testIsAsciiPrintable_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testIsAsciiPrintable_char();
        }
    }

    @Test(timeout=120000)
    public void testIsAsciiControl_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testIsAsciiControl_char();
        }
    }

    @Test(timeout=120000)
    public void testIsAsciiAlpha_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testIsAsciiAlpha_char();
        }
    }

    @Test(timeout=120000)
    public void testIsAsciiAlphaUpper_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testIsAsciiAlphaUpper_char();
        }
    }

    @Test(timeout=120000)
    public void testIsAsciiAlphaLower_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testIsAsciiAlphaLower_char();
        }
    }

    @Test(timeout=120000)
    public void testIsAsciiNumeric_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testIsAsciiNumeric_char();
        }
    }

    @Test(timeout=120000)
    public void testIsAsciiAlphanumeric_char() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testIsAsciiAlphanumeric_char();
        }
    }

    @Test(timeout=120000)
    public void testConstructor() throws Exception {
        if (verifyNoPropertyViolation(config)) {
               org.apache.commons.lang3.CharUtilsTest object = new org.apache.commons.lang3.CharUtilsTest();
               object.testConstructor();
        }
    }

}