From: amiraj <amiraj.95@uci.edu>
Date: Wed, 4 Dec 2019 02:21:11 +0000 (-0800)
Subject: Change in Analysis
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d9573b173433780f877538edc4c29d472cac01e4;p=jpf-core.git

Change in Analysis
---

diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index b28d65b..4d185d0 100644
--- 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);