2018-03-04 22:20:28 +00:00
|
|
|
#!/bin/bash
|
|
|
|
set -euo pipefail
|
|
|
|
|
|
|
|
here=$(dirname "${BASH_SOURCE[0]}")
|
|
|
|
|
|
|
|
set -x
|
2018-03-18 15:58:23 +00:00
|
|
|
"$here"/test-non-existent
|
2018-03-04 22:20:28 +00:00
|
|
|
"$here"/test-unsupported
|
|
|
|
"$here"/test-supported
|
2018-03-05 02:05:26 +00:00
|
|
|
"$here"/test-queries
|
2018-03-18 23:11:26 +00:00
|
|
|
"$here"/test-random
|
2018-07-06 00:07:37 +00:00
|
|
|
|
|
|
|
if [ -v COVERAGE ]; then
|
|
|
|
# Do at most 10 seconds of failmalloc testing
|
|
|
|
"$here"/test-failmalloc || true
|
|
|
|
now=$(date +%s)
|
|
|
|
in_10s=$((now+10))
|
|
|
|
while [ $(date +%s) -lt $in_10s ]; do
|
|
|
|
"$here"/test-failmalloc || true
|
|
|
|
done
|
|
|
|
fi
|