//! Test tooling for Aspen.//!//! - [`git`]: isolated `git` invocations, so tests ignore the machine's Git//!   configuration and behave the same everywhere.//! - [`GitHttpBackend`]: a reference Git HTTP server that hands each request//!   to stock `git http-backend`.//! - [`GitServer`]: the "server under test" abstraction. [`StockServer`] is//!   the reference, [`ScopedServer`] is stock Git in Aspen's branch-scoped//!   URL layout, and [`AspenServer`] is a real Aspen: the `aspen` binary//!   running `aspen serve` (node L0 in `docs/PLAN.md`).//! - [`Oracle`]: the differential oracle from section 4.1 of the plan. It//!   applies seeded random operation sequences to two servers and compares//!   them after every step.//! - [`FaultyServer`]: deliberately broken servers that prove the oracle//!   catches real bugs.//!//! The crate is tooling: product crates may use it only as a//! dev-dependency (`cargo xtask check-deps` lists it among the tooling//! crates and rejects a normal dependency on it from a product crate). pub mod aspen;pub mod fault;pub mod git;pub mod http_backend;pub mod ops;pub mod oracle;pub mod rng;pub mod server;mod world; pub use aspen::{AspenDatabase, AspenOptions, AspenServer};pub use fault::{Fault, FaultyServer, Firings};pub use git::{GitClient, NO_AUTO_MAINTENANCE, init_bare, isolated_git};pub use http_backend::{GitHttpBackend, RefVisibility};pub use ops::{Branch, Config, Op};pub use oracle::{Divergence, DivergenceKind, KnownDivergence, Oracle, Report, Run, Stats, Step};pub use server::{GitServer, RefMap, ScopedServer, StockServer};pub use world::{Outcome, RACE_LOSS_REASONS};