How-To Guides
Practical recipes for common tasks.
| Guide | Description |
|---|---|
| Better Error Messages | FluentAssertions, Shouldly, and ValidationResult for clear failure output |
| Test Logs | Finding logs and emitting custom output |
| Validating Your Model | How to check the model itself is correct |
| Modeling Large Data | [SharedState] for binary blobs, seeded random data |
| Testing Any System | Trace-based conformance testing and test plan export for any language |