mix bloccs.coverage (bloccs v0.1.0)

Copy Markdown View Source 
mix bloccs.coverage <network.bloccs> [--message <json>] [--trace <file>] [--port <name>] [--wait <secs>]

Reports structural coverage — every in-port, out-port, and edge — against a reached set:

  • --message <json> runs the network live, feeds one message into the exposed intake port, records a trace, and reports what was reached.
  • --trace <file> loads a previously recorded .bloccs-trace and reports against it.
  • with neither, reports the pure structural enumeration (0 reached).