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

---
 mutants/mutant-3/swen90006/machine/Machine.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/mutants/mutant-3/swen90006/machine/Machine.java b/mutants/mutant-3/swen90006/machine/Machine.java
index 9bf5731..b4481bd 100644
--- a/mutants/mutant-3/swen90006/machine/Machine.java
+++ b/mutants/mutant-3/swen90006/machine/Machine.java
@@ -148,7 +148,10 @@ public class Machine
   private void validate_offset(int offset)
     throws InvalidInstructionException
   {
-    if (offset < -MAX_ADDR || offset > MAX_ADDR) {
+    if (offset < -MAX_ADDR || offset > MAX_ADDR+1) {
+//change max offset, taking advantage of the fact that the assignment
+//specification changed to exclude address 35536. killed by BVA
+//test EC6
       throw new InvalidInstructionException();
     }
   }
-- 
GitLab