From b8ee0fc51555ff625f01a207b6f9716e9ed526e9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Steffan=20S=C3=B8lvsten?= Date: Thu, 15 Aug 2024 13:18:52 +0200 Subject: [PATCH] Update CHANGELOG with debug logging fix --- CHANGELOG.md | 5 +++++ src/adiar/internal/algorithms/quantify.h | 1 - 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 249c0f8d1..15f59c83e 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -105,6 +105,11 @@ This has the added benefit, that the maximum supported BDD size is increased to the absurd size of 96 TiB . +- Disabled TPIE from outputting its *debug* log to a disk on the file if Adiar + is compiled for production. This drastically saves on disk space (some + benchmarks ran out of disk not due to large BDDs but due to several TiB of + debug logging). + # v2.0.0 **Date: 5th of April, 2024** diff --git a/src/adiar/internal/algorithms/quantify.h b/src/adiar/internal/algorithms/quantify.h index a09f1585e..774153692 100644 --- a/src/adiar/internal/algorithms/quantify.h +++ b/src/adiar/internal/algorithms/quantify.h @@ -1587,7 +1587,6 @@ namespace adiar::internal partial_impl.reset(); #ifdef ADIAR_STATS - stats_quantify.partial_sweeps += 1u; stats_quantify.partial_repetitions += 1u; #endif transposed = __quantify(ep, transposed, partial_impl);