Every kernel-checked target this item covers (one for `Standalone`, `targets.len()` for `Block`).
(&self)
| 72 | /// Every kernel-checked target this item covers (one for |
| 73 | /// `Standalone`, `targets.len()` for `Block`). |
| 74 | pub fn targets(&self) -> &[Address] { |
| 75 | match self { |
| 76 | AnonWorkItem::Standalone { addr } => core::slice::from_ref(addr), |
| 77 | AnonWorkItem::Block { targets, .. } => targets, |
| 78 | } |
| 79 | } |
| 80 | |
| 81 | /// Every `env.consts` key this item certifies (proves) well-typed when |
| 82 | /// its `primary` is checked — the *proven targets*, in the same address |
no outgoing calls
no test coverage detected