Skip to main content

matrix_markdown

lean_ctx::core::host_coverage

Function matrix_markdown 

Source 
pub fn matrix_markdown() -> String
Expand description

The published coverage matrix (docs/reference/generated/host-coverage.md).