From 0dc49af3650ccc2fd7279ed3820b67c2911464ff Mon Sep 17 00:00:00 2001
From: Emily Marshall <e.marshall3@student.unimelb.edu.au>
Date: Tue, 11 Sep 2018 03:27:28 +1000
Subject: [PATCH] Update Machine.java

---
 mutants/mutant-2/swen90006/machine/Machine.java | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/mutants/mutant-2/swen90006/machine/Machine.java b/mutants/mutant-2/swen90006/machine/Machine.java
index 9bf5731..3b1f5a1 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;
 	}
-- 
GitLab