Crate bookspec_runner 

bookspec’s conformance runner: it drives any Engine through the examples and reports, per rule, pass, fail or not claimed (plan/served.md 8.2 P13 step 2).

The runner is the only judge. An engine answers; the runner compares the answer with the example’s expected values, and with the refusal the example names when the engine refuses. The engine is never asked whether its own answer is right.

Structs

ExampleReport

One example’s outcome.

Report

The runner’s report: what it found of each rule, and each example.

Enums

Outcome

What the runner says about one rule.

Functions

run

Run examples against engines made by make, one fresh engine per example, and report per rule against catalog (normally bookspec_checker::rules()).

run_example

Run one example against one engine: load the setup, apply every event (accepted or refused as the example says), check the expectations named after each event, make the changes named after it, then check the rest.