test(proto): add codec property tests #117

Merged

Lochnair merged 1 commits from test/proto-properties into main

2026-08-19 17:48:25 +00:00

Author	SHA1	Message	Date
Nils Andreas Svee	2634649852	test(proto): add codec property tests Add proptest-based property tests for irtt-proto's varint and Params codecs, covering the full u64/i64 domains for varint/zigzag round trips and generated valid Params for semantic round trips, presence omission rules, repeated-tag last-wins behavior, and unknown-tag tolerance.	2026-08-20 00:45:16 +07:00

Author

SHA1

Message

Date

Nils Andreas Svee

2634649852

test(proto): add codec property tests

Add proptest-based property tests for irtt-proto's varint and Params
codecs, covering the full u64/i64 domains for varint/zigzag round trips
and generated valid Params for semantic round trips, presence
omission rules, repeated-tag last-wins behavior, and unknown-tag
tolerance.

2026-08-20 00:45:16 +07:00