Examples with TestCaseBuilder org.evosuite.symbolic.TestCaseBuilder used on opensource projects

Example 16 with TestCaseBuilder

use of org.evosuite.symbolic.TestCaseBuilder in project evosuite by EvoSuite.

the class TestSolverBitwise method buildTestCaseShiftRightUnsigned.

private static DefaultTestCase buildTestCaseShiftRightUnsigned() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference int0 = tc.appendIntPrimitive(10 >>> 1);
    VariableReference int1 = tc.appendIntPrimitive(10);
    Method method = TestCaseShiftRightUnsigned.class.getMethod("test", int.class, int.class);
    tc.appendMethod(null, method, int0, int1);
    return tc.getDefaultTestCase();
}

Example 17 with TestCaseBuilder

use of org.evosuite.symbolic.TestCaseBuilder in project evosuite by EvoSuite.

the class TestSolverBitwise method buildTestCaseShiftLeft.

private static DefaultTestCase buildTestCaseShiftLeft() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference int0 = tc.appendIntPrimitive(10 << 1);
    VariableReference int1 = tc.appendIntPrimitive(10);
    Method method = TestCaseShiftLeft.class.getMethod("test", int.class, int.class);
    tc.appendMethod(null, method, int0, int1);
    return tc.getDefaultTestCase();
}

Example 18 with TestCaseBuilder

use of org.evosuite.symbolic.TestCaseBuilder in project evosuite by EvoSuite.

the class TestSolverBitwise method buildTestCaseShiftRight.

private static DefaultTestCase buildTestCaseShiftRight() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference int0 = tc.appendIntPrimitive(10 >> 1);
    VariableReference int1 = tc.appendIntPrimitive(10);
    Method method = TestCaseShiftRight.class.getMethod("test", int.class, int.class);
    tc.appendMethod(null, method, int0, int1);
    return tc.getDefaultTestCase();
}

Example 19 with TestCaseBuilder

use of org.evosuite.symbolic.TestCaseBuilder in project evosuite by EvoSuite.

the class TestSolverBitwise method buildTestCaseBitOr.

private static DefaultTestCase buildTestCaseBitOr() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference int0 = tc.appendIntPrimitive(10 | 1);
    VariableReference int1 = tc.appendIntPrimitive(10);
    Method method = TestCaseBitOr.class.getMethod("test", int.class, int.class);
    tc.appendMethod(null, method, int0, int1);
    return tc.getDefaultTestCase();
}

Example 20 with TestCaseBuilder

use of org.evosuite.symbolic.TestCaseBuilder in project evosuite by EvoSuite.

the class TestSolverBitwise method buildTestCaseBitAnd.

private static DefaultTestCase buildTestCaseBitAnd() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference int0 = tc.appendIntPrimitive(10 & 1);
    VariableReference int1 = tc.appendIntPrimitive(10);
    Method method = TestCaseBitAnd.class.getMethod("test", int.class, int.class);
    tc.appendMethod(null, method, int0, int1);
    return tc.getDefaultTestCase();
}