search

pitest / pitclipse

Mutation testing for Java in Eclipse IDE. Based on PIT (Pitest).
https://pitest.org
Apache License 2.0
59 stars 17 forks source link

Correcting the default init from preferences #181

Closed JKutscha closed 3 years ago

JKutscha commented 3 years ago

The current init of the preferences is broken and writes a wrong value in the mutators preference.

LorenzoBettini commented 3 years ago

That's something I had spotted in the past myself but never fixed that because I couldn't figure out how the bug actually revealed itself. How did you find the wrong behavior?

JKutscha commented 3 years ago

I found this bug, after resetting my test workspace.

LorenzoBettini commented 3 years ago

I found this bug, after resetting my test workspace.

and what's the value it writes?

JKutscha commented 3 years ago

and what's the value it writes?

I‘m not sure, if I understand. What value are you referring to?

LorenzoBettini commented 3 years ago

and what's the value it writes?

I‘m not sure, if I understand. What value are you referring to?

I mean, how have you detected that it was setting the wrong value? When I opened my fresh workspace it was using the DEFAULT mutators (but I'm talking about the current released version, not the one under development), that's why when I spotted that strange setting I did not think about a bug since the behavior, in the end, was the expected one...

JKutscha commented 3 years ago

I mean, how have you detected that it was setting the wrong value? When I opened my fresh workspace it was using the DEFAULT mutators (but I'm talking about the current released version, not the one under development), that's why when I spotted that strange setting I did not think about a bug since the behavior, in the end, was the expected one...

The value was set to "defaultMutators" instead of the DEFAULTS. I think this is the result of the rework I did on the preferences and the mutators itself.

LorenzoBettini commented 3 years ago

OK, merged! Thanks!