From 4090669373e45169911d01d3b5cea6f327cb634f Mon Sep 17 00:00:00 2001
From: Zhuolun Lang <z.lang@student.unimelb.edu.au>
Date: Sun, 2 Sep 2018 13:16:57 +1000
Subject: [PATCH] Update Machine.java

---
 mutants/mutant-3/swen90006/machine/Machine.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mutants/mutant-3/swen90006/machine/Machine.java b/mutants/mutant-3/swen90006/machine/Machine.java
index 9bf5731..e40898f 100644
--- a/mutants/mutant-3/swen90006/machine/Machine.java
+++ b/mutants/mutant-3/swen90006/machine/Machine.java
@@ -170,7 +170,7 @@ public class Machine
     int pc = 0;
     final int progLength = instructions.size();
     while(true){
-      if (pc < 0 || pc >= progLength){
+      if (pc < 0 && pc >= progLength){
 	/* will cause NoReturnValueException to be thrown
 	 * but that is not a bug and and indeed is what the
 	 * VM is supposed to do if the pc becomes negative,
-- 
GitLab