Benjamin DANGLOT

Did you manage to launch PIT/Descartes outside of DSpot, _e.g._ typing something like `mvn org.pitest:pitest-maven:1.4.7:mutationCoverage `? Thank you.

Hello, could you show me your `JAVA_HOME`? Thank you.

> After setting MAVEN_OPTS to "" I am able to run the mvn org.pitest:pitest-maven:1.4.7:mutationCoverage Interesting, did you retry to execute DSpot with empty `MAVEN_OPTS`? I'm not sure but It might...

Hello, could you provide me both traces? The one with jar and the one with maven. BTW, it is not mandatory to modify your `pom.xml`. You can run directly something...

Hello @Smorka Thank you for the traces. So, you did manage to amplify using maven (I obfuscated the name of test classes): ```txt [INFO] Print Test1.java with 1 amplified test...

Hello @Smorka Any progress?

> I think it would make sense to remove all amplifications that have no impact on the increase of mutation score. Yes, that the idea. > See also the idea...

>I was thinking of adding a call to a counter after each added assertion. The test would be executed on the new detected mutants and if an assertion never lowers...

> What if each test wrote a report in a file? It will be the same than serialization / deserialization. I have some issues here. During the mutation analysis: In...

Hi @sbihel Would you mind to have look to #354 I propose a minimizer for the `ChangeDetectorSelector`. The `ChangeDetectorSelector` runs amplified test against a "modifier" version of the same program...