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

Identity check on row zero is not considered fatal.

Browse Source
This commit is contained in:
chriseth
2023-03-06 12:17:22 +01:00
parent 0fef42e7f5
commit 96b484e67f
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/commit_evaluator/mod.rs
View File

@@ -188,9 +188,11 @@ where
break;
}
}
if identity_failed && self.next.iter().any(|v| v.is_none()) {
// Identity check failure on the first row is not fatal. We will proceed with
// "unknown", report zero and re-check the wrap-around against the zero values at the end.
if identity_failed && next_row != 0 {
eprintln!(
"\nError: Row {next_row}: Unable to derive values for committed polynomials: {}\n",
"\nError: Row {next_row}: Identity check failer or unable to derive values for committed polynomials: {}\n",
self.next
.iter()
.enumerate()