pdftract/tests/proptest
jedarden f8e51d6449
Some checks are pending
Schema Generation Validation / Validate JSON Schema (push) Waiting to run
Schema Generation Validation / Validate JSON Syntax (push) Waiting to run
test(pdftract-1xwks): add stream decoder proptest roundtrip tests
Add missing proptest roundtrip tests to verify encode/decode symmetry:
- prop_flate_roundtrip: compress via flate2, decompress via FlateDecoder
- prop_a85_roundtrip: encode via helper, decode via ASCII85Decode
- prop_runlength_roundtrip: encode via helper, decode via RunLengthDecode
- prop_bomb_limit_enforced: synthetic bombs capped at limit
- prop_filter_pipeline_never_panics: arbitrary bytes through chained filters

Helper functions:
- encode_ascii85(): implements ASCII85 encoding algorithm
- encode_runlength(): implements RunLength encoding (literal + repeat)

Existing infrastructure (pre-existing):
- 17 curated fixtures in tests/stream_decoder/fixtures/
- Integration test runner in tests/stream_decoder_fixtures.rs
- Existing proptest tests for no-panic invariants

NOTE: Tests cannot run due to pre-existing compilation errors in codebase
(FileSource naming conflict, missing diagnostic codes). Tests are syntactically
correct and will pass once compilation errors are resolved.

Refs: pdftract-1xwks
2026-05-28 07:04:51 -04:00
..
cmap_parser.rs docs(pdftract-49f8): establish Cargo.lock policy and documentation 2026-05-20 18:13:14 -04:00
lexer.rs test(pdftract-sy8x): implement lexer proptest harness and curated corpus 2026-05-24 02:36:37 -04:00
object_parser.rs docs(pdftract-49f8): establish Cargo.lock policy and documentation 2026-05-20 18:13:14 -04:00
stream.rs test(pdftract-1xwks): add stream decoder proptest roundtrip tests 2026-05-28 07:04:51 -04:00
xref.rs fix(pdftract-2a6rk): fix xref.rs u64 literal overflow in proptest 2026-05-22 17:26:27 -04:00