Commit fc5e8bf
feat: add comprehensive test suite to achieve CRG C compliance
Implement unit + smoke + build + P2P + E2E + reflexive + contract + aspect tests + benchmarks baselined per Testing & Benchmarking Taxonomy v1.0:
- Unit tests: 26 unit tests in aletheia (config, output, checks, types); existing 13 in brainfuck; 5 in whitespace; 0 total unit tests added to absolute-zero/src/main.rs
- E2E tests: 10 end-to-end tests for brainfuck interpreter (program execution, CNO verification, loop handling, I/O)
- Property-based tests: 11 property tests (determinism, balanced operations, equivalence, reversibility)
- Security/aspect tests: 11 security tests (infinite loop bounding, pointer safety, memory bounds, input validation)
- Benchmarks: criterion-based benchmarks (absolute-zero/benches/cno_benchmarks.rs) for brainfuck interpreter, whitespace stack ops, CNO state operations, SHA256 hashing
All tests pass: absolute-zero 39 tests + aletheia unit tests 26 tests. Benchmarks baselined with criterion. Zero dependencies maintained in aletheia (RSR Bronze compliance). No unsafe code blocks used.
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>1 parent 0881573 commit fc5e8bf
32 files changed
Lines changed: 5174 additions & 479 deletions
File tree
- absolute-zero
- ffi/zig
- .zig-cache
- h
- o
- f0fd9072e4da4358a9e407eb55f97dff
- f153eade19360304935d47fa468ba335
- f1ea4330472a4c6ebcbfed6922919020
- fca120edd483c3efa4f5eaee6f27a527
- z
- src
- test
- src
- brainfuck
- src
- whitespace
- src
- tests
- aletheia/src
- tests
- aspect
- e2e
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 2 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
Lines changed: 837 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 2 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
Whitespace-only changes.
Lines changed: 838 additions & 0 deletions
Large diffs are not rendered by default.
Whitespace-only changes.
Binary file not shown.
Binary file not shown.
Lines changed: 2 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
0 commit comments