test: property-based tests for pure cores (StreamData + proptest)#19

Merged

markovejnovic merged 23 commits into

mainfrom

test/unit-tests

Jun 24, 2026

Commits on Jun 23, 2026

test: property suite for unit-quantity algebra (StreamData)
markovejnovic
committed
test: property suite for Controls.Rate branch and formula invariants
markovejnovic
committed
test: bound Rate regression-property counter at 1 to avoid empty StreamData range
markovejnovic
committed
test: property suite for Controls.Ewma boundedness and unit preservation
markovejnovic
committed
test: generative property suite for /proc/stat parser and CpuTimes
markovejnovic
committed
test: generative property suites for NetDev/Diskstats/Meminfo parsers
markovejnovic
committed
refactor(suidhelper): split into lib + thin bin to enable integration tests
markovejnovic
committed
fix(suidhelper): StrictComponents must reject '.' and empty path components
markovejnovic
committed
test: proptest suite for SafePath lexical confinement and relative_to
markovejnovic
committed
test: broaden proc-parser property coverage (non-vacuous zero-tail, digit names)
markovejnovic
committed

Commits on Jun 24, 2026