[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/724'

[teor at torproject.org]

commit 613c5ff3578bacde129701e370eca2afaaf914ff
Merge: 064265086 4e6ba575a
Author: teor <teor at torproject.org>
Date:   Tue Mar 26 19:31:17 2019 +1000

    Merge remote-tracking branch 'tor-github/pr/724'

 changes/ticket29537      |   3 ++
 configure.ac             |   1 +
 src/lib/cc/torint.h      |   9 ++++
 src/test/include.am      |   3 ++
 src/test/ptr_helpers.c   |  50 ++++++++++++++++++++++
 src/test/ptr_helpers.h   |  23 ++++++++++
 src/test/test.h          |   1 +
 src/test/test_ptr_slow.c | 106 +++++++++++++++++++++++++++++++++++++++++++++++
 src/test/test_slow.c     |   1 +
 9 files changed, 197 insertions(+)