Module counters

Structs

• BcbExpression 🔒
• CountersBuilder 🔒
  Helper struct that allows counter creation to inspect the BCB graph, and the set of nodes that need counters.
• CoverageCounters 🔒
  Generates and stores coverage counter and coverage expression information associated with nodes/edges in the BCB graph.
• Transcriber 🔒
  Helper struct for converting CountersBuilder into a final CoverageCounters.

Enums

• BcbCounter 🔒
  The coverage counter or counter expression associated with a particular BCB node or BCB edge.
• Site 🔒
  Enum representing either a node or an edge in the coverage graph.
• SiteCounter 🔒
  Symbolic representation of the coverage counter to be used for a particular node or edge in the coverage graph. The same site counter can be used for multiple sites, if they have been determined to have the same count.

Functions

• sibling_out_edge_targets 🔒
  Yields the graph successors of from_bcb that aren’t to_bcb. This is used when creating a counter expression for SiteCounter::EdgeDiffExpr.
• sort_and_cancel 🔒
  Given two lists: