X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fmain%2Fgov%2Fnasa%2Fjpf%2Flistener%2FConflictTracker.java;fp=src%2Fmain%2Fgov%2Fnasa%2Fjpf%2Flistener%2FConflictTracker.java;h=b05c9f3837f115902a14b19fb746c9068ef94f94;hb=db2278abd14ee92e122b215c89a1f54bda6c30b1;hp=fd7311715a21d1636c5d67972a8b47f2a4fef422;hpb=f3b3ecaa41002d6d79fcf8d26b3546be60d9d9b9;p=jpf-core.git

diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index fd73117..b05c9f3 100644
--- a/src/main/gov/nasa/jpf/listener/ConflictTracker.java
+++ b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
@@ -75,13 +75,6 @@ public class ConflictTracker extends ListenerAdapter {
         appSet.add(var);
       }
     }
-    String[] manualClasses = config.getStringArray("manualClasses");
-    // We are not tracking anything if it is null
-    if (manualClasses != null) {
-      for (String var : manualClasses) {
-        manualSet.add(var);
-      }
-    }
 
     // Timeout input from config is in minutes, so we need to convert into millis
     timeout = config.getInt("timeout", 0) * 60 * 1000;
@@ -422,7 +415,7 @@ public class ConflictTracker extends ListenerAdapter {
 
       lo = frame.peek();
       hi = frame.getTopPos() >= 1 ? frame.peek(1) : 0;
-
+	
       return(decodeValue(type, lo, hi));
     }
 
@@ -457,7 +450,7 @@ public class ConflictTracker extends ListenerAdapter {
 
         if (ci.getName().equals("java.lang.String"))
           return('"' + ei.asString() + '"');
-
+	
         return(ei.toString());
 
       default:
@@ -582,6 +575,14 @@ public class ConflictTracker extends ListenerAdapter {
       if (executedInsn instanceof WriteInstruction) {
         String varId = ((WriteInstruction) executedInsn).getFieldInfo().getFullName();
          
+	// Check if we have an update to isManualTransaction to update manual field
+	if (varId.contains("isManualTransaction")) {
+		byte type = getType(ti, executedInsn);
+            	String value = getValue(ti, executedInsn, type);
+            
+		manual = (value.equals("true"))?true:false;
+	}
+ 
         for (String var : conflictSet) {
           if (varId.contains(var)) {
             // Get variable info
@@ -593,9 +594,6 @@ public class ConflictTracker extends ListenerAdapter {
             if (writer == null)
               return;
             
-            //if (getWriter(ti.getStack(), manualSet) != null)
-            //  manual = true;
-            
             // Update the current updates
             writeWriterAndValue(writer, var, value);
           }