Change in Analysis

[jpf-core.git] / src / main / gov / nasa / jpf / listener / ConflictTracker.java

diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index b28d65bf52a2dd377088091b1bda937f91ec7773..4d185d00e42617cda0288878623d6ca66e3f3a30 100644 (file)
--- a/src/main/gov/nasa/jpf/listener/ConflictTracker.java
+++ b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
@@ -160,6 +160,25 @@ public class ConflictTracker extends ListenerAdapter {
        HashMap<String, String> valueMap = new HashMap<String, String>(); // HashMap from varName to value
        HashMap<String, Integer> writerMap = new HashMap<String, Integer>(); //  HashMap from varName to appNum
 
+
+       System.out.println("#########################Set Set:");
+       for (int i = 0;i < setSet.size();i++) {
+            NameValuePair nameValuePair = setSet.get(i);
+            String varName = nameValuePair.getVarName();
+            String value = nameValuePair.getValue();
+            Integer appNum = nameValuePair.getAppNum();
+
+           System.out.println("varName="+varName+", value="+value+", appNum="+appNum);
+       }
+       System.out.println("+++++++++++++++++++++++++Out Set:");
+       for (NameValuePair nameValuePair : currentNode.getOutSet()) {
+            String varName = nameValuePair.getVarName();
+            String value = nameValuePair.getValue();
+            Integer appNum = nameValuePair.getAppNum();
+
+            System.out.println("varName="+varName+", value="+value+", appNum="+appNum);
+        }
+
        // Update the valueMap and writerMap + check for conflict between the elements of setSet
        for (int i = 0;i < setSet.size();i++) {
             NameValuePair nameValuePair = setSet.get(i);