Merge pull request #3542 from akallabeth/thread_sanitizer
authorBernhard Miklautz <bmiklautz@users.noreply.github.com>
Wed, 11 Apr 2018 09:01:38 +0000 (11:01 +0200)
committerGitHub <noreply@github.com>
Wed, 11 Apr 2018 09:01:38 +0000 (11:01 +0200)
commit6383b2e33ec8a796e35b1bd8a45e9c32691f6514
treebd5d96289d51e9314634ebd9033b26677ef9ddb6
parentf85563de434a89cc678d001f540ffa8786ffeba7
parentef6a03128ab2d4c0d813ec888d23d0fb6aac3b04
Merge pull request #3542 from akallabeth/thread_sanitizer

Added memory and thread sanitizer.