From 556dff7b30681285f13cf94d2221832167c1b6f4 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 9 Apr 2013 12:37:02 +0000 Subject: [PATCH] Disable debug checks on CUDD close: see if we can actually get rid of annoying cuddClearDeathRow error messages. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6685 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/dd/dd_cudd.cc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/prism/src/dd/dd_cudd.cc b/prism/src/dd/dd_cudd.cc index 4e859760..455f350b 100644 --- a/prism/src/dd/dd_cudd.cc +++ b/prism/src/dd/dd_cudd.cc @@ -107,9 +107,11 @@ void DD_CloseDownCUDD(DdManager *ddman, bool check) if (check) { // if required, check everthing is closed down OK and warn if not - if (Cudd_DebugCheck(ddman)) { + // for now, we disable the debug check since there are increasingly + // problems occurring on 64 bit Linux/Mac + /*if (Cudd_DebugCheck(ddman)) { printf("\nWarning: CUDD reports an error on closing.\n"); - } + }*/ if (Cudd_CheckZeroRef(ddman) > 0) { printf("\nWarning: CUDD reports %d non-zero references.\n", Cudd_CheckZeroRef(ddman)); }