Skip to content

Commit 59e1865

Browse files
committed
docs: add TEST-NEEDS.md (CRG C)
1 parent dc674e8 commit 59e1865

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 — verisimiser
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 | Dual compiled binaries (debug + release) |
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
16+
- [x] FFI verification layer
17+
- [x] Cargo test harness
18+
19+
## Still Missing (for CRG B+)
20+
21+
- [ ] Property-based verification testing
22+
- [ ] Fuzzing for edge cases
23+
- [ ] Benchmarking suite
24+
- [ ] Multi-target platform tests
25+
26+
## Run Tests
27+
28+
```bash
29+
cd /var/mnt/eclipse/repos/verisimiser && cargo test
30+
```

0 commit comments

Comments
 (0)