Skip to content

Commit a6f3008

Browse files
committed
docs: add TEST-NEEDS.md (CRG C)
1 parent 943f7ca commit a6f3008

1 file changed

Lines changed: 30 additions & 0 deletions

File tree

TEST-NEEDS.md

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
# TEST-NEEDS.md — otpiser
2+
3+
## CRG Grade: C — ACHIEVED 2026-04-04
4+
5+
## Current Test State
6+
7+
| Category | Count | Notes |
8+
|----------|-------|-------|
9+
| Integration tests (Rust) | 2 | `tests/integration_test.rs` compiled binaries |
10+
| Verification tests | Unit-level | `verification/tests/` directory present |
11+
| FFI tests | Present | `src/interface/ffi/test/` |
12+
13+
## What's Covered
14+
15+
- [x] Dual integration test builds (debug + release)
16+
- [x] FFI verification layer
17+
- [x] Cargo test harness
18+
19+
## Still Missing (for CRG B+)
20+
21+
- [ ] Property-based testing (proptest)
22+
- [ ] Fuzzing targets
23+
- [ ] Benchmarking suite
24+
- [ ] CI integration tests
25+
26+
## Run Tests
27+
28+
```bash
29+
cd /var/mnt/eclipse/repos/otpiser && cargo test
30+
```

0 commit comments

Comments
 (0)