From 3de7657018eab89f568876726d14aec52b2c5d2f Mon Sep 17 00:00:00 2001
From: Jingjiahui Lu <jingjiahui.lu@student.unimelb.edu.au>
Date: Mon, 17 Sep 2018 14:53:28 +1000
Subject: [PATCH] Update Machine.java

---
 mutants/mutant-1/swen90006/machine/Machine.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mutants/mutant-1/swen90006/machine/Machine.java b/mutants/mutant-1/swen90006/machine/Machine.java
index 2c2c13c..724f498 100644
--- a/mutants/mutant-1/swen90006/machine/Machine.java
+++ b/mutants/mutant-1/swen90006/machine/Machine.java
@@ -81,7 +81,7 @@ public class Machine
   }
 
   private void do_load(int dest, int src, int offs) {
-    if (regs[src] + offs > MAX_ADDR){
+    if (regs[src] + offs >= MAX_ADDR){
       /* no op */
     }else if(regs[src] + offs < 0){
       /* no op */
@@ -148,7 +148,7 @@ public class Machine
   private void validate_offset(int offset)
     throws InvalidInstructionException
   {
-    if (offset < -MAX_ADDR || offset > MAX_ADDR+1) {
+    if (offset < -MAX_ADDR || offset > MAX_ADDR) {
       throw new InvalidInstructionException();
     }
   }
-- 
GitLab