| Category | Count | Notes |
|---|---|---|
| Integration tests (Rust) | 1 | tests/integration_test.rs |
| Verification tests | Unit-level | verification/tests/ directory present |
| FFI tests | Present | src/interface/ffi/test/ |
| Package tests | Present | Generated in target/ during build |
- Integration test framework
- FFI verification layer
- Aspect-based organization
- Packaging validation
- Property-based testing (proptest)
- Fuzzing for TLA+ parsing
- Performance benchmarks
- Multi-version compatibility tests
cd /var/mnt/eclipse/repos/tlaiser && cargo test