From f848d67341afb078df3f8de8095e07204bc3e044 Mon Sep 17 00:00:00 2001 From: Joost VandeVondele Date: Wed, 30 Sep 2020 20:18:15 +0200 Subject: [PATCH] Use fair scheduling of threads under valgrind fixes some rare case where the master search thread makes no progress, observed in CI. --- tests/instrumented.sh | 2 +- tests/instrumented_learn.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/instrumented.sh b/tests/instrumented.sh index 03ded74a..03e9c9de 100755 --- a/tests/instrumented.sh +++ b/tests/instrumented.sh @@ -20,7 +20,7 @@ case $1 in --valgrind-thread) echo "valgrind-thread testing started" prefix='' - exeprefix='valgrind --error-exitcode=42' + exeprefix='valgrind --fair-sched=try --error-exitcode=42' postfix='1>/dev/null' threads="2" ;; diff --git a/tests/instrumented_learn.sh b/tests/instrumented_learn.sh index 44c5d7fa..267a3bb6 100755 --- a/tests/instrumented_learn.sh +++ b/tests/instrumented_learn.sh @@ -20,7 +20,7 @@ case $1 in --valgrind-thread) echo "valgrind-thread testing started" prefix='' - exeprefix='valgrind --error-exitcode=42' + exeprefix='valgrind --fair-sched=try --error-exitcode=42' postfix='1>/dev/null' threads="2" ;;