github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity

CompositeBackend: Fix machine stats (#1637)

Browse Source 
Previously, arrays of columns were counted as 1.
This commit is contained in:
Georg Wiese
2024-07-31 19:25:03 +02:00
committed by GitHub
parent b59b2836c0
commit 39a148508e
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
backend/src/composite/mod.rs
View File

@@ -162,8 +162,8 @@ impl<F: FieldElement, B: BackendFactory<F>> BackendFactory<F> for CompositeBacke
}
fn log_machine_stats<T: FieldElement>(machine_name: &str, pil: &Analyzed<T>) {
let num_witness_columns = pil.committed_polys_in_source_order().len();
let num_fixed_columns = pil.constant_polys_in_source_order().len();
let num_witness_columns = pil.commitment_count();
let num_fixed_columns = pil.constant_count();
let max_identity_degree = pil
.identities_with_inlined_intermediate_polynomials()
.iter()