From 24fff554af453dad8160478a19de57f5b7e6e3fd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Steffan=20S=C3=B8lvsten?= <201505832@post.au.dk> Date: Fri, 5 Apr 2024 09:30:44 +0200 Subject: [PATCH] Fix incorrect inferrence of number of calls to a quantification algorithm --- src/adiar/statistics.cpp | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/src/adiar/statistics.cpp b/src/adiar/statistics.cpp index e122b621b..44f817741 100644 --- a/src/adiar/statistics.cpp +++ b/src/adiar/statistics.cpp @@ -490,8 +490,8 @@ namespace adiar __printstat_quantify(std::ostream& o) { const uintwide total_runs = internal::stats_quantify.skipped - + internal::stats_quantify.singleton_sweeps + internal::stats_quantify.partial_sweeps - + internal::stats_quantify.nested_sweeps; + + internal::stats_quantify.singleton_sweeps + + (internal::stats_quantify.partial_sweeps - internal::stats_quantify.partial_repetitions); o << indent << bold_on << label << "Quantification" << bold_off << total_runs << endl; @@ -512,18 +512,14 @@ namespace adiar o << indent << endl; o << indent << bold_on << label << "case [singleton sweep]" << bold_off - << internal::stats_quantify.singleton_sweeps << " = " - << internal::percent_frac(internal::stats_quantify.singleton_sweeps, total_runs) << percent - << endl; + << internal::stats_quantify.singleton_sweeps << endl; } { o << indent << endl; o << indent << bold_on << label << "case [partial sweep]" << bold_off - << internal::stats_quantify.partial_sweeps << " = " - << internal::percent_frac(internal::stats_quantify.partial_sweeps, total_runs) << percent - << endl; + << internal::stats_quantify.partial_sweeps << endl; indent_level++;