1 2 3 4
//! Workspace-level integration tests for AiDENs production crates. //! //! This package exists to keep `aidens-testkit` as a pure reference //! interpreter crate while still running the cross-crate proof suite.