Martin Liška

> Any update about the testing, please? PING :)

Any news about this @andrewvaughanj ?

> When I run cvise, sometimes it seems stalled on making progress. When I check `htop`, it doesn't look like my cores are doing any work related to cvise. It...

> I'm not sure if this is related, but for me the step "UnIfDefPass" does sometimes stall and does not progress. Even though that step has nothing to do. After...

> Would it be possible to attach also a reproducer? And please open a new issue for it.

Thank you very much for the nice investigation! > actually, this is probably about the fastest I can run: > > ```diff > diff --git a/cvise/utils/testing.py b/cvise/utils/testing.py > index 5deb23e7d60b..e697bd54b0bf...

> I'm curious. It seems like cvise starts N workers, then terminates them all once the first has found whether its mutated input is interesting? Once the first one finds...

> Perhaps the [Python bindings to libuv](https://pyuv.readthedocs.io/en/v1.x/loop.html?highlight=pool) might help. Do you mean using it in the `Pebble` project?

> Or swap Pebble for libuv. But does it provide a Process pool, I can't find it. About sigterm - can you please investigate Pebble which signal is used when...

Yes, I do the same. In your case you should reproduce it with `./clang_delta --transformation=remove-nested-function --counter=5 foo.c` and then you can check for the corresponding crash return value. Hope it...