From 9a591f0dbafd5c5b16d7e89ad93550e3afcbbea6 Mon Sep 17 00:00:00 2001 From: Seyed Amir Hossein Aqajari Date: Tue, 24 Mar 2020 15:51:11 -0700 Subject: [PATCH] Making analysis compatible with infra --- src/main/gov/nasa/jpf/listener/ConflictTracker.java | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) 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); - } } } -- 2.34.1