Examples with JacocoCoverageSelector fr.inria.diversify.dspot.selector.JacocoCoverageSelector used on opensource projects

Example 6 with JacocoCoverageSelector

use of fr.inria.diversify.dspot.selector.JacocoCoverageSelector in project dspot by STAMP-project.

the class DSpotTest method testInheritanceMethod.

@Test
public void testInheritanceMethod() throws Exception {
    /*
            Test that DSpot can be run on an abstract test, using its implementation.
         */
    final InputConfiguration configuration = new InputConfiguration("src/test/resources/sample/sample.properties");
    DSpot dspot = new DSpot(configuration, 3, Collections.singletonList(new TestDataMutator()), new JacocoCoverageSelector());
    CtType<?> ctType = dspot.amplifyTest("fr.inria.inheritance.Inherited").get(0);
    assertEquals(1, ctType.getMethods().size());
}