From: Seyed Amir Hossein Aqajari <saqajari@circinus-40.ics.uci.edu>
Date: Tue, 24 Mar 2020 22:51:11 +0000 (-0700)
Subject: Making analysis compatible with infra
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9a591f0dbafd5c5b16d7e89ad93550e3afcbbea6;p=jpf-core.git

Making analysis compatible with infra
---

diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index cbd7e66..620d1be 100644
--- a/src/main/gov/nasa/jpf/listener/ConflictTracker.java
+++ b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
@@ -633,13 +633,8 @@ public class ConflictTracker extends ListenerAdapter {
 
 	for (String var: conflictSet) {
 		if (varName.contains(var)) {
-			if (writer != null) {
-				System.out.println("################# writer: "+writer);
-				System.out.println("################# variable: "+varName);
-				System.out.println("################# value: "+value);
-				System.out.println("################# manual: "+manual);
+			if (writer != null)
 				writeWriterAndValue(writer, varName, value);
-			}
 		}
 	}