mozilla/task.js — Issue #6: replay scheduler
Author: dherman
Created: 2011-12-29 16:30:49+00:00
State: open

Create a deterministic replay scheduler, which takes a task-interleaving script and re-enacts it.

(Depends on issues #1 and #9).