Source

mutated_ocaml / testsuite / tests / lib-threads / test3.runner

Diff from to

testsuite/tests/lib-threads/test3.runner

 ./program > test3.result &
 pid=$!
 sleep 5
-kill -9 $pid
+kill -9 $pid