Projects / Testing

Crucible

Crucible runs unmodified guest machines under a patched QEMU build, advances them under one authoritative scheduler, and records the decisions needed to reproduce, fork, and explore an execution.

License
Apache-2.0, MIT, and GPL-2.0
Status
Experimental
Part of
AOS

Reproducible

The same scenario and schedule replay the same execution, every time.

Fault injection

Partitions, loss, reordering, crashes, and restarts as declared plans.

Explorable

Checkpoint, fork, and search a bounded schedule space for failures.

Feedback

Bugs, questions, and ideas go in the issue tracker.

Open an issue on GitHub and a maintainer will follow up. The project is not taking unsolicited pull requests at the moment. The contribution guide describes how invited changes are prepared and reviewed, and invited contributors accept the contributor agreement once before their first change is merged.

The Crucible host is Apache-2.0. Its QEMU plugins and debug gateway are GPL-2.0-only, and the protocol crates between them are MIT or Apache-2.0. Licensing policy.