Log Processing Pipeline Repair
Log Processing Pipeline Repair: a task in repo2rlenv-seta-seed2synth (Harbor dataset). A log-processing script at /opt/logproc/strip headers.sh is supposed to remove the first line (a header) from every .log file under /opt/logproc/data/ in place, then write a summary to…
The task
A log-processing script at `/opt/logproc/strip_headers.sh` is supposed to remove the first line (a header) from every `.log` file under `/opt/logproc/data/` in place, then write a summary to `/opt/logproc/results/summary.txt`.
Part of FineEnvs/repo2rlenv-seta-seed2synth.