//! Property-based tests for DCP protocol.
pub mod bench_props;
pub mod binary_props;
pub mod capability_props;
pub mod cli_props;
pub mod compat_props;
pub mod context_props;
pub mod dispatch_props;
pub mod jsonrpc_props;
pub mod mcp2025_props;
pub mod mcp_props;
pub mod memory_props;
pub mod multiplex_props;
pub mod observability_props;
pub mod protocol_props;
pub mod security_props;
pub mod server_props;
pub mod shutdown_props;
pub mod sse_props;
pub mod stdio_props;
pub mod stream_props;
pub mod sync_props;
pub mod transport_props;