diff --git a/mutants/mutant-1/swen90006/machine/Machine.java b/mutants/mutant-1/swen90006/machine/Machine.java index 2c2c13c0855d6c8212198d4085c069064fe83f8a..724f498c30b6b8a4181bdf05354ffad40ec73f1a 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(); } }