Module: Ibex::Coverage

Defined in:

lib/ibex/coverage.rb,
lib/ibex/coverage/report.rb,
lib/ibex/coverage/collector.rb,
lib/ibex/coverage/event_stream.rb,
lib/ibex/coverage/runtime_event_validator.rb

Overview

Deterministic state and production coverage derived from runtime event streams.

Defined Under Namespace

Modules: EventStream, RuntimeEventValidator Classes: Collector, Report