In ProgressHaskell / Rust

Black Box Ledger Testing

Black Box Ledger Testing extends the cardano-cls effort by exporting cardano-ledger tests into a reusable format that can be consumed by alternative client implementations.

• 🧪Test Export Pipeline: Extract and package cardano-ledger tests for external consumption.
• 🔁Cross-Client Validation: Run equivalent ledger tests across independent implementations.
• 🌍Client Diversity: Lower barriers for non-Haskell clients to validate behavior.
• 📏Spec Conformance: Detect semantic mismatches early through shared test vectors.