pub fn check_always(product: &Product, cert: &InductionCertificate) -> boolExpand description
Whether cert proves the product’s outputs equal at every clock from reset.
pub fn check_always(product: &Product, cert: &InductionCertificate) -> boolWhether cert proves the product’s outputs equal at every clock from reset.