hectorr
committed
on 17 Sep 18
Mention explicitly the tested procs in the test cases.