Update instrumented.sh

This commit is contained in:
JWmer
2020-11-20 23:58:04 +01:00
committed by nodchip
parent 3975fc9c0d
commit 38d19eca14

View File

@@ -24,7 +24,7 @@ case $1 in
echo "valgrind-thread testing started"
prefix=''
exeprefix='valgrind --fair-sched=try --error-exitcode=42'
postfix='1>/dev/null'
postfix=''
threads="2"
bench_depth=5
go_depth=10