您好，我在试图通过TestLeaderCommitEntry2AB 测试，我有个疑问。
在line 413行，leader 如何记录来自其他节点的reply，Raft结构体哪个变量是负责这个？
我感觉 Prs map[uint64]*Progress 是这个目的。我知道我理解对不对，能否详细介绍一下Progress结构体呢？
type Progress struct {
Match, Next uint64
}
你这个理解是没问题的；具体，你可以去了解下raft论文，会专门说match和next干嘛用的
