Reduction workflow scripts - #129

Open

ambergorzynski wants to merge 15 commits into

mainfrom

reduction-scripts

Commits on Aug 12, 2026

Move batch-from-coverage logic into src/reduce
ambergorzynski
committed
f8db8c4
Refactor batch-from-coverage into reduce/batch subpackage
ambergorzynski
committed
e03ab79
Add batch-from-coverage unit tests with n=1 and n=3 fixtures
ambergorzynski
committed
b160435
Add reduction workflow bash libraries
ambergorzynski
committed
6c4b145
Add reduction.sh local and Docker entrypoints
ambergorzynski
committed
9c1df37
Add lit tests for batch-from-coverage scaffold (n=1, n=3)
ambergorzynski
committed
e31743f
Document reduction workflow and remove legacy reduce scripts
ambergorzynski
committed
af42fe8
Add full workflos test script
ambergorzynski
committed
52145c8
Fix Docker full reduction and rename workflow script to run-full-workflow.sh
ambergorzynski
committed
2ab89d0
Add optional e2e reduction extension for PR gap-finding test
ambergorzynski
committed
b87d82e

Commits on Aug 13, 2026

Add examples to Docker image
ambergorzynski
committed
393a3ea
Reorder filecheck for integration test
ambergorzynski
committed
2d0a00a
Always run reduction in the e2e test
ambergorzynski
committed
43d5922

Commits on Aug 14, 2026

Inline reduction in e2e test
ambergorzynski
committed
7adebcd
Add size and interestingness assertions to reduced e2e test
ambergorzynski
committed
90775c2