nordisk/knut

crates/knut-build-thing/tests/bijection_laws.rs

//! The bijection laws (`nornir_build_thing::laws`) over knut's recipe:
//! declaration ↔ struct, rows ↔ tree, menu ↔ declaration, path ↔ flag, decision ↔
//! fragment, receipt → recipe — the same guard gunnar's, draupnir's, ordning's and
//! skade's recipes run.
//!
//! knut ran this call before today too, and it passed — over a `BuildVariantSet`
//! parsed out of a compiled-in toml. The laws were true of whatever the FILE said;
//! they are now true of what the CODE declares, which is the difference the turn
//! was for.

use knut_build_thing::KnutBuild;
use nornir_build_thing::laws;

#[test]
fn the_recipe_obeys_the_bijection_laws() {
    laws::assert_bijective(&KnutBuild);
}