[WIP] Run address sanitizer as part of Jenkins coverage tests

Branch: admin/run-address-sanitizer-jenkins

Branch: next

Merged

#88 · Created 2019-03-01 · Last updated 2019-04-08

Merged pull request

Merged in admin/run-address-sanitizer-jenkins (pull request #88)

f841bda·Author: Joseph Parker·Closed by: Peter Hill·2019-04-08

Run address sanitizer as part of Jenkins coverage tests. This should help find the bug in #46 and #48.