vyre_spec/test_descriptor.rs
1//! Frozen generated-test descriptors tied to specific engine invariants.
2
3use crate::engine_invariant::InvariantId;
4
5/// Description of a concrete test the generator will materialize for an invariant.
6///
7/// Example: an `I4` descriptor can name a wire-format round-trip test and
8/// explain the exact invariant it probes.
9#[derive(Debug, Clone, PartialEq, Eq)]
10pub struct TestDescriptor {
11 /// Hierarchical test name, used as the generated file stem.
12 pub name: &'static str,
13 /// One-line human-readable purpose for generated doc comments.
14 pub purpose: &'static str,
15 /// The invariant this test probes.
16 pub invariant: InvariantId,
17}