Expand description
Coverage tracking for exploration novelty detection.
Tracks which assertion paths have been explored across all timelines.
The ExploredMap lives in shared memory and accumulates coverage
from every timeline. Each timeline gets a fresh CoverageBitmap
that is merged into the explored map after the timeline finishes.
Structs§
- Coverage
Bitmap - Per-timeline coverage bitmap, cleared before each split.
- Explored
Map - Cross-process coverage map, OR’d by all timelines.
Constants§
- COVERAGE_
MAP_ SIZE - Size of coverage bitmaps in bytes (8192 bit positions).