diff --git a/mutants/mutant-3/swen90006/machine/Machine.java b/mutants/mutant-3/swen90006/machine/Machine.java index 9bf57316d1c736ea2bd1c62bd6df3c6c0282f331..b4481bd8b622edf5bc753e0013070209f6694c28 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(); } }