tree f08d1be36163591b4d6e696fd0291ee812b02e8d
parent 6eb1ac9b493d1b07d8f96000e6fdc9302d0561fe
author Ju Pan <jupan1994@gmail.com> 1540611238 +0000
committer Ju Pan <jupan1994@gmail.com> 1541188140 +0000

tools: display satisfied and unsatisfied interests counters

refs: #4720

Change-Id: I69c2400a558997ff48f2b66883cc680dc497360a