/** {@inheritDoc} */ @Override public String toString() { return toCode(); } }
/** {@inheritDoc} */ @Override public boolean isValid() { for (Statement s : statements) { assert (s.isValid()) : toCode(); } return true; }
private List<BranchCondition> executeTest(DefaultTestCase tc) { Properties.CLIENT_ON_THREAD = true; Properties.PRINT_TO_SYSTEM = true; Properties.TIMEOUT = 5000000; Properties.CONCOLIC_TIMEOUT = 5000000; System.out.println("TestCase="); System.out.println(tc.toCode()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); return branch_conditions; }
private static List<BranchCondition> getPathCondition(DefaultTestCase tc) { Properties.CLIENT_ON_THREAD = true; Properties.PRINT_TO_SYSTEM = true; Properties.TIMEOUT = 5000; Properties.CONCOLIC_TIMEOUT = 5000000; System.out.println("TestCase="); System.out.println(tc.toCode()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); return branch_conditions; }
private List<BranchCondition> executeTest(DefaultTestCase tc) { Properties.CLIENT_ON_THREAD = true; Properties.PRINT_TO_SYSTEM = true; Properties.TIMEOUT = 5000; Properties.CONCOLIC_TIMEOUT = 5000000; System.out.println("TestCase="); System.out.println(tc.toCode()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); return branch_conditions; }
private List<BranchCondition> executeTest(DefaultTestCase tc) { System.out.println("TestCase="); System.out.println(tc.toCode()); // ConcolicExecution concolicExecutor = new ConcolicExecution(); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); return branch_conditions; }
@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()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(1, branch_conditions.size()); }
@Test public void test11() throws SecurityException, NoSuchMethodException, NoSuchFieldException { Properties.CLIENT_ON_THREAD = true; Properties.PRINT_TO_SYSTEM = true; Properties.TIMEOUT = 5000000; DefaultTestCase tc = build_test_input_11(); System.out.println("TestCase="); System.out.println(tc.toCode()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(8, branch_conditions.size()); }
@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()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(1, branch_conditions.size()); }
@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()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(1, branch_conditions.size()); }
@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()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(0, branch_conditions.size()); }
@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()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(1, branch_conditions.size()); }
@Test public void test15() throws SecurityException, NoSuchMethodException, NoSuchFieldException { Properties.CLIENT_ON_THREAD = true; Properties.PRINT_TO_SYSTEM = true; Properties.TIMEOUT = 5000000; DefaultTestCase tc = build_test_input_15(); System.out.println("TestCase="); System.out.println(tc.toCode()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(0, branch_conditions.size()); }
@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()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(1, branch_conditions.size()); } }
@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()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(1, branch_conditions.size()); }
@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()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(1, branch_conditions.size()); }
@Test public void test9() throws SecurityException, NoSuchMethodException, NoSuchFieldException { Properties.CLIENT_ON_THREAD = true; Properties.PRINT_TO_SYSTEM = true; Properties.TIMEOUT = 5000000; DefaultTestCase tc = build_test_input_9(); System.out.println("TestCase="); System.out.println(tc.toCode()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(1, branch_conditions.size()); }
@Test public void test14() throws SecurityException, NoSuchMethodException, NoSuchFieldException { Properties.CLIENT_ON_THREAD = true; Properties.PRINT_TO_SYSTEM = true; Properties.TIMEOUT = 5000000; DefaultTestCase tc = build_test_input_14(); System.out.println("TestCase="); System.out.println(tc.toCode()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(1, branch_conditions.size()); }
@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()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(0, branch_conditions.size()); }
@Test public void test3() throws SecurityException, NoSuchMethodException { Properties.CLIENT_ON_THREAD = true; Properties.PRINT_TO_SYSTEM = true; Properties.TIMEOUT = 5000000; DefaultTestCase tc = build_test_input_3(); System.out.println("TestCase="); System.out.println(tc.toCode()); PathCondition pc = ConcolicExecution.executeConcolic(tc); List<BranchCondition> branch_conditions = pc.getBranchConditions(); printConstraints(branch_conditions); assertEquals(2, branch_conditions.size()); }