@Mossberg

I find it mildly unsatisfying that if Manticore crashes while in the executor loop, the process will still return 0 (meaning subprocess.check_output or check_call will not catch it). But that's an issue for a later time.