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

Improve Error Message when providing external witness values

Browse Source
This commit is contained in:
Georg Wiese
2023-12-14 12:12:34 +01:00
parent a309c6674a
commit db352e9f35
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
executor/src/witgen/mod.rs
View File

@@ -195,9 +195,14 @@ impl<'a, T: FieldElement> FixedData<'a, T> {
));
if !external_witness_values.is_empty() {
let available_columns = witness_cols
.iter()
.map(|(_, witness)| &witness.poly.name)
.collect::<Vec<_>>();
panic!(
"External witness values for non-existent columns: {:?}",
external_witness_values.keys()
"External witness values for non-existent columns: {:?}\nAvailable columns: {:?}",
external_witness_values.keys(),
available_columns
);
}