On a code like this
public final class EmployeeFixed
{
private final String id;
private String name;
private double salary;
public EmployeeFixed(final String aNewId, final String aNewName, final double aNewSalary)
{
id = aNewId;
setName(aNewName);
setSalary(aNewSalary);
}
I see Mutation test services and reports it as an error
3. Incremented (a++) double local variable number 3 → SURVIVED
4. Decremented (a--) double local variable number 3 → SURVIVED
-------------
Why a++ and a-- should fail, as it is local variable increment and it happens after the operation is completed.. Is this an issue pit framework itself to see a++, a-- as a mutation that should fail?