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

Merge pull request #718 from powdr-labs/maybe_logging

Browse Source 
Maybe improve logging
This commit is contained in:
chriseth
2023-10-24 16:39:20 +00:00
committed by GitHub
parent a58b5af74b 1ea9d818e1
commit 908b2c3a0e
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
executor/src/witgen/rows.rs
View File

@@ -95,9 +95,9 @@ impl<T: FieldElement> Debug for Cell<'_, T> {
let debug_str = match &self.value {
CellValue::Known(v) => format!("{} = {}", self.name, v),
CellValue::RangeConstraint(rc) => {
format!("{} = <unknown>\n (range constraint: {})", self.name, rc)
format!("{} = ? (range constraint: {})", self.name, rc)
}
CellValue::Unknown => format!("{} = <unknown>", self.name),
CellValue::Unknown => format!("{} = ?", self.name),
};
f.write_str(&debug_str)
}