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

Example 86 with DefaultTestCase

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

the class SymbolicObserverTest method test7.

@Test
public void test7() throws SecurityException, NoSuchMethodException, NoSuchFieldException {
    Properties.CLIENT_ON_THREAD = true;
    Properties.PRINT_TO_SYSTEM = true;
    Properties.TIMEOUT = 5000000;
    DefaultTestCase tc = build_test_input_7();
    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 87 with DefaultTestCase

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

the class SymbolicObserverTest method test12.

@Test
public void test12() throws SecurityException, NoSuchMethodException, NoSuchFieldException {
    Properties.CLIENT_ON_THREAD = true;
    Properties.PRINT_TO_SYSTEM = true;
    Properties.TIMEOUT = 5000000;
    DefaultTestCase tc = build_test_input_12();
    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 88 with DefaultTestCase

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

the class SymbolicObserverTest method test6.

@Test
public void test6() throws SecurityException, NoSuchMethodException, NoSuchFieldException {
    Properties.CLIENT_ON_THREAD = true;
    Properties.PRINT_TO_SYSTEM = true;
    Properties.TIMEOUT = 5000000;
    DefaultTestCase tc = build_test_input_6();
    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 89 with DefaultTestCase

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

the class SymbolicObserverTest method test16.

@Test
public void test16() throws SecurityException, NoSuchMethodException, NoSuchFieldException {
    Properties.CLIENT_ON_THREAD = true;
    Properties.PRINT_TO_SYSTEM = true;
    Properties.TIMEOUT = 5000000;
    DefaultTestCase tc = build_test_input_16();
    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 90 with DefaultTestCase

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

the class SymbolicObserverTest method test13.

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