Adjust instrumented testing
authorFabian Fichter <ianfab@users.noreply.github.com>
Thu, 14 Mar 2019 18:55:42 +0000 (19:55 +0100)
committerFabian Fichter <ianfab@users.noreply.github.com>
Thu, 14 Mar 2019 18:55:42 +0000 (19:55 +0100)
commit54f59ffba5006fff8d4514752eb6e330df407b0b
tree21ee71f017c0724043aa64253093cdf8c9ead57b
parentad94871361b746e6eb22177aefa610047169284f
Adjust instrumented testing

Fix timeouts and skip thread-sanitizing for now to fix CI.

No functional change.
.travis.yml
tests/instrumented.sh