irtt-rs

4 Commits

Include renames

Author	SHA1	Message	Date
Nils Andreas Svee	edff75e55a	fix(stats): expire backdated events from rolling time windows	2026-10-03 22:29:42 +07:00
Nils Andreas Svee	48a50d7f3a	tests: rework the actually useful tests to live in the integration crate Rust CI / cargo fmt (push) Successful in 17s Details Rust CI / cargo check (x86_64-unknown-linux-gnu) (push) Successful in 34s Details Rust CI / cargo clippy (push) Successful in 35s Details Rust CI / cargo check (x86_64-unknown-linux-musl) (push) Failing after 8s Details Rust CI / cargo test (x86_64-unknown-linux-musl) (push) Failing after 10s Details Rust CI / cargo test (x86_64-unknown-linux-gnu) (push) Successful in 1m14s Details Rust CI / cargo doc (push) Successful in 23s Details Fuzz Smoke / cargo fuzz smoke (push) Failing after 29s Details Supply chain / cargo-deny advisories (push) Successful in 9s Details Supply chain / cargo-deny bans licenses sources (push) Successful in 5s Details Supply chain / actionlint (push) Successful in 3s Details Netem Interop / netem interop (push) Successful in 1m11s Details	2026-10-03 13:59:38 +07:00
Nils Andreas Svee	f2fce2f330	refactor(irtt-client): move cadence into managed runner	2026-10-02 00:31:17 +07:00
Nils Andreas Svee	3e2cf3bad7	test(stats): add rolling-window and IPDV property coverage Add proptest-based generative tests for irtt-stats's stateful rolling windows and IPDV pairing. The rolling_count and rolling_time bounds turn out to be two independent VecDeques (rolling.rs), not a single window bounded by both, so the main property test proves that independence: it drives a StatsCollector configured with both bounds simultaneously through generated operation streams, checking after every operation that each window matches a from-scratch reference model applying only its own bound (and that the cumulative snapshot matches a full-history replay). Since both the production window and the reference replay the same events through the same deterministic aggregation code, the comparison is exact equality, not a tolerance. Also add two smaller property tests for IpdvTracker's bounded FIFO state and at-most-once adjacent-pair emission under arbitrary (including non-monotonic and duplicate) sequence streams, complementing the existing strictly-increasing hand test. No discrepancies between production and the reference model were found.	2026-08-20 10:07:04 +07:00