Examples with NumberLiteralAmplifier fr.inria.diversify.dspot.amplifier.NumberLiteralAmplifier used on opensource projects

Example 1 with NumberLiteralAmplifier

use of fr.inria.diversify.dspot.amplifier.NumberLiteralAmplifier in project dspot by STAMP-project.

the class PitScoreMutantSelectorDescartesTest method testPitDescartesMode.

@Test
public void testPitDescartesMode() throws Exception {
    /*
            weak contract: this test should not throw any exception and end properly
                the increase of the mutation score and the selection is delegated to dedicated test
                here we test that the descartes mode runs
         */
    assertFalse(PitMutantScoreSelector.descartesMode);
    PitMutantScoreSelector.descartesMode = true;
    PitMutantScoreSelector.pitVersion = "1.2.0";
    InputConfiguration configuration = new InputConfiguration("src/test/resources/test-projects/test-projects.properties");
    DSpot dspot = new DSpot(configuration, 1, Arrays.asList(new StringLiteralAmplifier(), new NumberLiteralAmplifier()), new PitMutantScoreSelector());
    dspot.amplifyTest("example.TestSuiteExample", Collections.singletonList("test2"));
    FileUtils.cleanDirectory(new File(configuration.getOutputDirectory()));
    assertTrue(PitMutantScoreSelector.descartesMode);
}