()
| 1097 | // Property-style tests for universe-level algebra invariants. |
| 1098 | // |
| 1099 | // Use a deterministic seeded generator (xorshift) to produce randomized |
| 1100 | // `KUniv<Anon>` values of bounded depth and check algebraic laws: |
| 1101 | // reflexivity, symmetry of equality, transitivity of geq, and interaction |
| 1102 | // between geq and eq. |
| 1103 | // ========================================================================= |
| 1104 | |
| 1105 | struct UPrng(u64); |
| 1106 | impl UPrng { |
| 1107 | fn new(seed: u64) -> Self { |
| 1108 | UPrng(seed.wrapping_mul(0x9E37_79B9_7F4A_7C15) ^ 0xDEAD_BEEF_CAFE_BABE) |
nothing calls this directly
no test coverage detected