Update Machine.java

mutants/mutant-2/swen90006/machine/Machine.java

+// 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;
 	}