Joost VandeVondele f848d67341 Use fair scheduling of threads under valgrind ...

fixes some rare case where the master search thread makes no progress,
observed in CI.

2020-10-01 09:36:44 +09:00

..

instrumented_learn.sh

Use fair scheduling of threads under valgrind

2020-10-01 09:36:44 +09:00

instrumented.sh

Use fair scheduling of threads under valgrind

2020-10-01 09:36:44 +09:00

perft.sh

Assorted trivial cleanups (#1894)

2019-01-01 14:10:26 +01:00

reprosearch.sh

…

signature.sh

Fix condition for error message of signature script

2018-07-27 10:16:33 +02:00