Change in Analysis
authoramiraj <amiraj.95@uci.edu>
Wed, 4 Dec 2019 02:21:11 +0000 (18:21 -0800)
committeramiraj <amiraj.95@uci.edu>
Wed, 4 Dec 2019 02:21:11 +0000 (18:21 -0800)
src/main/gov/nasa/jpf/listener/ConflictTracker.java

index b28d65b..4d185d0 100644 (file)
@@ -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
 
        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);
        // 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);