| Category | Count | Notes |
|---|---|---|
| Test directories | 2 | Location(s): /tests, /verification/tests |
| CI workflows | 22 | Running tests on GitHub Actions |
| Unit tests | Built-in | Rust/cargo test framework |
| Integration tests | Configured | Via integration/ directory |
- Rust unit test suite (cargo test)
- Documentation tests
- Example programs with tests
- Code coverage reports (codecov integration)
- Detailed test documentation in CONTRIBUTING.md
- Integration tests beyond unit tests
- Performance benchmarking suite
cargo test