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

Example 36 with TestCaseBuilder

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

the class TestSolverFloats method buildTestCaseAsin.

private static DefaultTestCase buildTestCaseAsin() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference double0 = tc.appendDoublePrimitive(Math.asin(Math.PI));
    VariableReference double1 = tc.appendDoublePrimitive(Math.PI);
    Method method = TestCaseAsin.class.getMethod("test", double.class, double.class);
    tc.appendMethod(null, method, double0, double1);
    return tc.getDefaultTestCase();
}

Example 37 with TestCaseBuilder

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

the class TestSolverFloats method buildTestCaseAtan2.

private static DefaultTestCase buildTestCaseAtan2() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference double0 = tc.appendDoublePrimitive(Math.atan(Math.PI));
    VariableReference double1 = tc.appendDoublePrimitive(Math.PI);
    VariableReference double2 = tc.appendDoublePrimitive(Math.PI);
    Method method = TestCaseAtan2.class.getMethod("test", double.class, double.class, double.class);
    tc.appendMethod(null, method, double0, double1, double2);
    return tc.getDefaultTestCase();
}

Example 38 with TestCaseBuilder

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

the class TestSolverMathFloat method buildTestCaseFloatAbs.

private static DefaultTestCase buildTestCaseFloatAbs() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference double0 = tc.appendDoublePrimitive(-Math.PI);
    Method method = TestCaseFloatAbs.class.getMethod("test", double.class);
    tc.appendMethod(null, method, double0);
    return tc.getDefaultTestCase();
}

Example 39 with TestCaseBuilder

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

the class TestSolverMathFloat method buildTestCaseMin.

private static DefaultTestCase buildTestCaseMin() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference double0 = tc.appendDoublePrimitive(Double.MAX_VALUE);
    VariableReference double1 = tc.appendDoublePrimitive(10);
    Method method = TestCaseFloatMin.class.getMethod("test", double.class, double.class);
    tc.appendMethod(null, method, double0, double1);
    return tc.getDefaultTestCase();
}

Example 40 with TestCaseBuilder

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

the class TestSolverRegex method buildTestCross.

private static DefaultTestCase buildTestCross() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference string0 = tc.appendStringPrimitive("a");
    Method method = TestCaseRegex.class.getMethod("testCross", String.class);
    tc.appendMethod(null, method, string0);
    return tc.getDefaultTestCase();
}