From f7e4ec329a6accebb76647b7a93a738d379d7528 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Fri, 10 Apr 2020 00:04:52 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20sylvan=5Fldd.c?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
sylvan_ldd.c | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/sylvan_ldd.c b/sylvan_ldd.c
index a42f83d..efbc02a 100755
--- a/sylvan_ldd.c
+++ b/sylvan_ldd.c
@@ -3035,7 +3035,6 @@ ldd_refs_push(MDD lddmc)
void __attribute__((unused))
ldd_refs_pop(long amount)
{
-
lddmc_refs_key->rcur -= amount;
}
@@ -3078,7 +3077,7 @@ void sylvan_gc_seq()
{
if (seq_llmsset_count_marked(nodes)>llmsset_get_size(nodes)/2)
{
- printf("GC active \n ");
+ //printf("GC active \n ");
cache_clear();
llmsset_clear_data_seq(nodes);
ldd_gc_mark_protected();
@@ -3211,7 +3210,6 @@ ldd_gc_mark_rec(MDD mdd)
void displayMDDTableInfo()
{
-
printf("%zu of %zu buckets filled!\n", seq_llmsset_count_marked(nodes), llmsset_get_size(nodes));
}
int isGCRequired()
--
GitLab