adding a test case

[IRC.git] / Robust / TransSim / ThreadInfo.java

diff --git a/Robust/TransSim/ThreadInfo.java b/Robust/TransSim/ThreadInfo.java
index e359e5d6531021a2ecc08bee9309bdd4439ce45e..8deff3f08ccd9a5a42ddb4f50e4a5d07a9807370 100644 (file)
--- a/Robust/TransSim/ThreadInfo.java
+++ b/Robust/TransSim/ThreadInfo.java
@@ -8,6 +8,8 @@ public class ThreadInfo {
   boolean stalled;
   int oid;
   int index;
+  int priority;
+  boolean aborted;
 
   public void setObject(int oid) {
     this.oid=oid;