Your browser sucks, JavaScript disabled! Gunnar's console needs JavaScript and WebAssembly. Git over SSH on port 2222 does not.

nordisk/holger

holperf/src/lib.rs

//! HOL-PERF-FORMATS' per-format serving bench, as a library so its seeded stores
//! also feed tests (`tests/head.rs`): one store per format, the chain with every
//! format's packages, and the in-process and HTTP harness.
pub mod chain;
pub mod gen;
pub mod harness;
pub mod real;
pub mod seed;
pub mod seed2;