pub fn state_coverage(
slices: &SliceSet,
base: &str,
storages: &[StorageInfo],
) -> Vec<CoverageRow>Expand description
Judge every declared state family against the configured storages
(issue #14): the family’s wire selector vs each storage’s key expression,
by key algebra (includes ⇒ covered, intersects ⇒ partial). Pure.