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,
sig/ibex/coverage.rbs,
sig/ibex/coverage/report.rbs,
sig/ibex/coverage/collector.rbs,
sig/ibex/coverage/event_stream.rbs,
sig/ibex/coverage/runtime_event_validator.rbs

Overview

Deterministic state and production coverage derived from runtime event streams.

Defined Under Namespace

Modules: EventStream, RuntimeEventValidator Classes: Collector, Report