From c3ce49be346ee3ddb298abf68c927aae091984d7 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Tue, 31 May 2016 15:37:03 +0000 Subject: [PATCH] DebugJDD: fix Copy() case, directly use JDD.DD_Deref to avoid misleading tracing output git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11380 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/jdd/DebugJDD.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/jdd/DebugJDD.java b/prism/src/jdd/DebugJDD.java index 9f081752..7db9fc61 100644 --- a/prism/src/jdd/DebugJDD.java +++ b/prism/src/jdd/DebugJDD.java @@ -509,8 +509,8 @@ public class DebugJDD throw new RuntimeException("DebugJDD: Trying to copy a JDDNode with non-positive CUDD ref count:\n " + dNode.toStringVerbose()); } - DebugJDDNode result = new DebugJDD.DebugJDDNode(dNode.ptr(), false); - JDD.Ref(result); + DebugJDDNode result = new DebugJDD.DebugJDDNode(dNode.ptr(), true); + JDD.DD_Ref(result.ptr()); if (isTraced(dNode)) { trace("Copy to "+result.getID(), dNode);