diff --git a/mutants/mutant-2/swen90006/machine/Machine.java b/mutants/mutant-2/swen90006/machine/Machine.java index 9bf57316d1c736ea2bd1c62bd6df3c6c0282f331..3b1f5a19ff191b1f6ee71c36d1dbb06560d7dc80 100644 --- a/mutants/mutant-2/swen90006/machine/Machine.java +++ b/mutants/mutant-2/swen90006/machine/Machine.java @@ -1,3 +1,7 @@ +// this mutant edits a branch deep in the program, which takes advantage +//of the fact that this branch will be reached by less test cases than +//others. killed by BVA test case @ EC17 + package swen90006.machine; import java.util.Arrays; @@ -276,7 +280,10 @@ public class Machine int ra = parseReg(toks[1]); int offs = parseOffset(toks[2]); if (regs[ra] == 0){ - pc = pc + offs; + pc = pc + offs + 1; +// this mutant edits a branch deep in the program, which takes advantage +//of the fact that this branch will be reached by less test cases than +//others. killed by BVA test case @ EC17 }else{ pc = pc + 1; }