Ok, now I seem to have found a different race. Can you take a look
Konstantin?
I get the output below (and C-Reduce terminates early, which is
annoying) at "-n 2" or "-n 4". Doesn't happen at -n 1 or 32 for some
reason.
John
===< pass_peep :: b >===
(100.0 %, 499 bytes)
(100.0 %, 493 bytes)
TERM caught, terminating 10885
(100.0 %, 488 bytes)
(100.0 %, 483 bytes)
(100.0 %, 478 bytes)
(100.0 %, 473 bytes)
SIGTERM handler "DEFAULT" not defined.
(100.0 %, 472 bytes)
(100.0 %, 469 bytes)
(100.0 %, 463 bytes)
SIGTERM handler "DEFAULT" not defined.
(100.0 %, 459 bytes)
(100.0 %, 456 bytes)
TERM caught, terminating 11624
TERM caught, terminating 5049
TERM caught, terminating 11624
