jedarden
|
61babb0991
|
test(bf-5dnh1): add memory ceiling enforcement for proptests
Add scripts/run-proptest-with-limits.sh to run property tests under
cgroup MemoryMax, ensuring pathological cases fail fast with allocation
errors instead of OOMing the host.
Coordinated with bf-1g1fd (CI memory-ceiling gate) to provide local
development parity with CI enforcement.
Changes:
- Add scripts/run-proptest-with-limits.sh (cgroup v2/v1 wrapper)
- Add scripts/README.md documenting memory ceiling enforcement
Memory limits:
- Proptests: 2048 MB cgroup MemoryMax (local)
- Fuzz tests: 1536 MB cgroup + 1024 MB libfuzzer RSS (existing)
Proptest input size caps (already in place):
- Lexer/object parser: up to 10 KB inputs
- Xref/stream parsers: up to 100 KB inputs
- Nested structures: depth-limited
Refs: bf-5dnh1, bf-1g1fd
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
|
2026-05-23 13:39:04 -04:00 |
|