File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ # TEST-NEEDS.md — idrisiser
2+
3+ ## CRG Grade: C — ACHIEVED 2026-04-04
4+
5+ ## Current Test State
6+
7+ | Category | Count | Notes |
8+ | ----------| -------| -------|
9+ | Integration tests (Rust) | 3 | ` tests/integration_test.rs ` |
10+ | Unit tests (Rust, ` #[test] ` ) | 31 | Across ` src/ ` modules |
11+ | Fuzz tests | 0 | ` tests/fuzz/ ` directory present but empty |
12+
13+ ## What's Covered
14+
15+ - [x] ` manifest::init_manifest ` — creates ` idrisiser.toml ` in a temp dir
16+ - [x] ` manifest::load_manifest ` + ` validate ` — roundtrip against example manifest
17+ - [x] ` validate ` rejects empty project name
18+ - [x] 31 unit test annotations across source modules (codegen, ABI, etc.)
19+
20+ ## CI Gate
21+
22+ ``` bash
23+ cargo test
24+ ```
25+
26+ ## Known Failures / Limitations
27+
28+ - ` tests/fuzz/ ` exists but contains no fuzz targets
29+ - Integration tests depend on ` examples/user-api/idrisiser.toml ` — if that
30+ example is removed, tests break
31+ - No property-based tests
32+
33+ ## Still Missing (for CRG B+)
34+
35+ - [ ] Fuzz targets for manifest parsing
36+ - [ ] Tests for the Idris2 codegen output (verify generated ` .idr ` files)
37+ - [ ] CI job independent of parent repo
38+ - [ ] 6+ diverse external targets (CRG B requirement)
You can’t perform that action at this time.
0 commit comments