← Back to roadmap
Stub

Edge coverage

Priority 0 - Core Emulator Infrastructure / 0.5 Verification tooling

$0 / $6,2500% funded
Fund$6,250
$0 / $6,250 - 0%
As an emulator integrator, I want vemu to finish its Edge coverage model, so that I can depend on better fuzzing signal for production firmware, not just the common path.

Why it matters

Better fuzzing signal

Summary

Branch-pair coverage

Scope of work

Currently a register-only stub. Replace it with a working model of Edge coverage that actually exhibits the hardware behavior. What it is: Branch-pair coverage. Why it matters: Better fuzzing signal.

Current state

Status: Stub only (registers, no behavior). Notes / evidence: EdgeMap complete but no callers.

Blocked by 1

Fund these first - this work can't be completed until they ship.

  • Done

Activity log

  1. Feature defined and added to the roadmap

  2. Funding goal set to $6,250

  3. Implementation status: Stub