Examples with PitResult - fr.inria.diversify.mutant.pit.PitResult

Example 6 with PitResult

use of fr.inria.diversify.mutant.pit.PitResult in project dspot by STAMP-project.

the class MavenAutomaticBuilderTest method testOnAbstractClass.

@Ignore
@Test
public void testOnAbstractClass() throws Exception {
    Utils.init("src/test/resources/sample/sample.properties");
    FileUtils.deleteDirectory(new File("src/test/resources/sample/target/pit-reports"));
    Utils.getBuilder().runPit(Utils.getInputProgram().getProgramDir(), Utils.findClass("fr.inria.inheritance.Inherited"));
    final List<PitResult> pitResults = PitResultParser.parseAndDelete(Utils.getInputProgram().getProgramDir() + Utils.getBuilder().getOutputDirectoryPit());
    assertEquals(31, pitResults.size());
}

Also used : PitResult(fr.inria.diversify.mutant.pit.PitResult) File(java.io.File) Ignore(org.junit.Ignore) Test(org.junit.Test)

Aggregations

PitResult (fr.inria.diversify.mutant.pit.PitResult)6 Gson (com.google.gson.Gson)4 GsonBuilder (com.google.gson.GsonBuilder)4 MutantJSON (fr.inria.diversify.dspot.selector.json.mutant.MutantJSON)4 TestCaseJSON (fr.inria.diversify.dspot.selector.json.mutant.TestCaseJSON)4 TestClassJSON (fr.inria.diversify.dspot.selector.json.mutant.TestClassJSON)4 File (java.io.File)4 CtMethod (spoon.reflect.declaration.CtMethod)4 AutomaticBuilderFactory (fr.inria.diversify.automaticbuilder.AutomaticBuilderFactory)3 PitResultParser (fr.inria.diversify.mutant.pit.PitResultParser)3 AmplificationHelper (fr.inria.diversify.utils.AmplificationHelper)3 DSpotUtils (fr.inria.diversify.utils.DSpotUtils)3 DSpotCompiler (fr.inria.diversify.utils.compilation.DSpotCompiler)3 CtType (spoon.reflect.declaration.CtType)3 AutomaticBuilder (fr.inria.diversify.automaticbuilder.AutomaticBuilder)2 AmplificationChecker (fr.inria.diversify.utils.AmplificationChecker)2 Counter (fr.inria.diversify.utils.Counter)2 InputConfiguration (fr.inria.diversify.utils.sosiefier.InputConfiguration)2 FileNotFoundException (java.io.FileNotFoundException)2 FileReader (java.io.FileReader)2