Examples with DefaultTestCase org.evosuite.testcase.DefaultTestCase used on opensource projects

Example 91 with DefaultTestCase

use of org.evosuite.testcase.DefaultTestCase in project evosuite by EvoSuite.

the class SymbolicObserverTest method test5.

@Test
public void test5() throws SecurityException, NoSuchMethodException, NoSuchFieldException {
    Properties.CLIENT_ON_THREAD = true;
    Properties.PRINT_TO_SYSTEM = true;
    Properties.TIMEOUT = 5000000;
    DefaultTestCase tc = build_test_input_5();
    System.out.println("TestCase=");
    System.out.println(tc.toCode());
    List<BranchCondition> branch_conditions = ConcolicExecution.executeConcolic(tc);
    printConstraints(branch_conditions);
    assertEquals(1, branch_conditions.size());
}

Example 92 with DefaultTestCase

use of org.evosuite.testcase.DefaultTestCase in project evosuite by EvoSuite.

the class SymbolicObserverTest method test2.

@Test
public void test2() throws SecurityException, NoSuchMethodException {
    Properties.CLIENT_ON_THREAD = true;
    Properties.PRINT_TO_SYSTEM = true;
    Properties.TIMEOUT = 5000000;
    DefaultTestCase tc = build_test_input_2();
    System.out.println("TestCase=");
    System.out.println(tc.toCode());
    List<BranchCondition> branch_conditions = ConcolicExecution.executeConcolic(tc);
    printConstraints(branch_conditions);
    assertEquals(1, branch_conditions.size());
}

Example 93 with DefaultTestCase

use of org.evosuite.testcase.DefaultTestCase in project evosuite by EvoSuite.

the class SymbolicObserverTest method test10.

@Test
public void test10() throws SecurityException, NoSuchMethodException, NoSuchFieldException {
    Properties.CLIENT_ON_THREAD = true;
    Properties.PRINT_TO_SYSTEM = true;
    Properties.TIMEOUT = 5000000;
    DefaultTestCase tc = build_test_input_10();
    System.out.println("TestCase=");
    System.out.println(tc.toCode());
    List<BranchCondition> branch_conditions = ConcolicExecution.executeConcolic(tc);
    printConstraints(branch_conditions);
    assertEquals(1, branch_conditions.size());
}

Example 94 with DefaultTestCase

use of org.evosuite.testcase.DefaultTestCase in project evosuite by EvoSuite.

the class SymbolicObserverTest method test8.

@Test
public void test8() throws SecurityException, NoSuchMethodException, NoSuchFieldException {
    Properties.CLIENT_ON_THREAD = true;
    Properties.PRINT_TO_SYSTEM = true;
    Properties.TIMEOUT = 5000000;
    DefaultTestCase tc = build_test_input_8();
    System.out.println("TestCase=");
    System.out.println(tc.toCode());
    List<BranchCondition> branch_conditions = ConcolicExecution.executeConcolic(tc);
    printConstraints(branch_conditions);
    assertEquals(0, branch_conditions.size());
}

Example 95 with DefaultTestCase

use of org.evosuite.testcase.DefaultTestCase in project evosuite by EvoSuite.

the class SymbolicObserverTest method test17.

@Test
public void test17() throws SecurityException, NoSuchMethodException, NoSuchFieldException {
    Properties.CLIENT_ON_THREAD = true;
    Properties.PRINT_TO_SYSTEM = true;
    Properties.TIMEOUT = 5000000;
    DefaultTestCase tc = build_test_input_17();
    System.out.println("TestCase=");
    System.out.println(tc.toCode());
    List<BranchCondition> branch_conditions = ConcolicExecution.executeConcolic(tc);
    printConstraints(branch_conditions);
    assertEquals(1, branch_conditions.size());
}