speed up fuzzing by sending SIGKILL when done

This commit is contained in:
Willem Melching
2021-05-05 17:27:30 +02:00
parent d96edb6817
commit 32fa26075f
@@ -4,6 +4,7 @@ import os
import sys
import threading
import time
import signal
from collections import namedtuple
import capnp
@@ -465,5 +466,6 @@ def cpp_replay_process(cfg, lr, fingerprint=None):
while not pm.all_readers_updated(msg.which()):
time.sleep(0)
managed_processes[cfg.proc_name].signal(signal.SIGKILL)
managed_processes[cfg.proc_name].stop()
return log_msgs