← Back to roadmap
Implemented

Differential testing (interp vs JIT)

Priority 0 - Core Emulator Infrastructure / 0.5 Verification tooling

$2,500 / $2,500fully funded
Done$2,500 / $2,500 - 100%
As an emulator integrator, I want vemu's Differential testing (interp vs JIT) to stay accurate, tested, and documented, so that I can keep depending on JIT correctness.

Why it matters

JIT correctness

Summary

Lockstep register/RAM compare

Scope of work

Already implemented. Harden, broaden coverage, add tests and documentation for Differential testing (interp vs JIT). What it is: Lockstep register/RAM compare. Why it matters: JIT correctness.

Current state

Status: Fully implemented. Notes / evidence: present for arm-m/-a/a64.

Blocked by 2

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

  • Done
  • Done
Unblocks 1

Funding this also clears the way for the work below.

Activity log

  1. Feature defined and added to the roadmap

  2. Funding goal set to $2,500

  3. Implementation status: Implemented

  4. Delivered - counted as fully funded