Property tests for subprocess timeout & fail-fast reducers (#75) - #245

Merged

leynos merged 7 commits into

mainfrom

python-subprocess-timeout-tests

Jul 30, 2026

Commits on Jul 28, 2026

Extract timeout-payload and fail-fast reducers; property-test them (#75)

leynos
and
claude
committed
b824d6a
Bundle carried-payload test inputs to satisfy CodeScene arg gate

leynos
and
claude
committed
2d30f10

Commits on Jul 29, 2026

Commits on Jul 30, 2026

Correct the argument order and gather guard in Figures 4 and 5

leynos
and
claude
committed
340cf62