Bloccs.Web.Panels.Coverage (bloccs_web v0.1.0)

Copy Markdown View Source

Panel 4 — structural coverage. Records a run (or loads a .bloccs-trace), derives the reached obligations with Bloccs.Web.Coverage, and overlays them on the topology graph (reached nodes/edges lit) alongside a summary bar and the list of unreached obligations. Trace export sits behind the :trace_export feature (the Pro seam) — enabled in the open build.

Summary

Functions

render(assigns)

Functions

render(assigns)

Attributes

  • network (:any) (required)
  • base_path (:string) (required)
  • features (:any) (required)
  • coverage (:any) - Defaults to nil.
  • recording (:boolean) - Defaults to false.
  • upload (:any) - Defaults to nil.