Code

Fix bugs mainly caused by snapshot#118

Code

Open

tangruize wants to merge 4 commits intowillemt:masterwillemt/raft:masterfrom tangruize:mastertangruize/willemt-raft:masterCopy head branch name to clipboard

+1,458-90

Commits

Commits on Aug 27, 2021

• small fix

  Show description for 0030906
  tangruize

  committed
  0030906

  Copy full SHA for 0030906

• add testcases

  Show description for fed1fa6
  tangruize

  committed
  fed1fa6

  Copy full SHA for fed1fa6

• Fix bugs found by TLA+.

  Show description for 0159f41
  tangruize

  committed
  0159f41

  Copy full SHA for 0159f41

• Fix tests.

  Show description for 9d03b48
  tangruize

  committed
  9d03b48

  Copy full SHA for 9d03b48