From 45e8894f12501a0a2cbd64cf9216f9a07c06d03d Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 30 May 2016 09:27:24 +0000
Subject: [PATCH] DebugJDD: reset tracking data when CUDD is shutdown

This should provide cleaner results if CUDD is started and
shutdown multiple times in a single VM run (e.g., for nailgun
execution).


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11375 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/jdd/DebugJDD.java | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/prism/src/jdd/DebugJDD.java b/prism/src/jdd/DebugJDD.java
index 3ff7f3d5..9f081752 100644
--- a/prism/src/jdd/DebugJDD.java
+++ b/prism/src/jdd/DebugJDD.java
@@ -327,10 +327,15 @@ public class DebugJDD
 			}
 		}
 
+		// clean-up data structures
+		nodes.clear();
+		javaRefs.clear();
+		// reset ID counter
+		DebugJDDNode.nextId = 0;
+		
 		if (warningsAreFatal) {
 			throw new RuntimeException("DebugJDD: Leaked references");
 		}
-
 	}
 
 	/** Get the CUDD reference count for the pointer of the JDDNode */