Shrinking multicore about echidna HOT 3 OPEN

Shrinking with multiple cores is hard with our current (stochastic) approach, since the number of messages required between the core is likely to be high, and that will cause an overhead that will offset the gains for multiple workers. If you can @aviggiano, please test #1250 to see if that improved the shrinking speed on a single worker.

from echidna.

It seems it was already reported here: #1105.. by you 😄

from echidna.

Haha yeah I remember that issue, but this one is different.

• #1105 relates to how different workers result in a slower shrinking behavior than using 1 worker
• #1249 (this issue) relates to how echidna could use all cores to make shrinking run faster

For example, suppose there was a threads: 32 (or something like that); even with workers: 1, I would want echidna to use all of my 32-vCPU instance cores to make shrinking run faster

from echidna.