[tor-commits] [tor/master] Merge remote-tracking branch 'public/practracker_regen_overbroad_2'

[nickm at torproject.org]

commit b7bbff0c9c655a938b42a103594f2c34c3f6dcfa
Merge: a8456d2a1 5e963f97b
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Feb 6 08:27:12 2020 -0500

    Merge remote-tracking branch 'public/practracker_regen_overbroad_2'

 Makefile.am                                        |  2 +
 changes/ticket32372                                |  4 ++
 scripts/maint/practracker/practracker.py           | 30 +++++++++++---
 scripts/maint/practracker/problem.py               | 21 ++++++++++
 scripts/maint/practracker/test_practracker.sh      | 12 ++++++
 .../practracker/testdata/ex1-regen-expected.txt    | 46 ++++++++++++++++++++++
 .../testdata/ex1-regen-overbroad-expected.txt      | 45 +++++++++++++++++++++
 7 files changed, 154 insertions(+), 6 deletions(-)