cargo-verus-mutants 0.2.0

Automatic mutation campaigns for Verus and mixed Rust workspaces. Adds contract and specification operators, trusted-boundary challenges, cargo-mutants inventory ingestion, diff and file scoping, isolated parallel workers, mutation-score gates, and deterministic reporting. Sea Otter's four-worker diff-scoped campaign completes in 6m46s, with an estimated 1.8-2.0x parallel speedup.

cargo-verus-mutants 0.1.0

Initial public release of the zero-config mutation testing tool for Verus Cargo projects. Install with cargo install cargo-verus-mutants.