Sanity check

This commit is contained in:
wborgeaud 2022-06-16 02:15:40 +02:00
parent 29f750ed51
commit b9265ccf0e

View File

@ -585,6 +585,7 @@ pub(crate) fn verify_cross_table_lookups<
);
}
}
debug_assert!(ctl_zs_openings.iter_mut().all(|iter| iter.next().is_none()));
Ok(())
}
@ -646,4 +647,5 @@ pub(crate) fn verify_cross_table_lookups_circuit<
}
}
}
debug_assert!(ctl_zs_openings.iter_mut().all(|iter| iter.next().is_none()));
}