Code

Trace validation test#192

Code

Draft

joshuazh-x wants to merge 2 commits intoetcd-io:mainetcd-io/raft:mainfrom joshuazh-x:trace-validation-testjoshuazh-x/raft:trace-validation-testCopy head branch name to clipboard

+8,259-99

Commits

Commits on Apr 6, 2024

• TLA+ spec of raft consensus algorithm in etcd implementation and model based trace validation

  Show description for 64ced68
  joshuazh-x

  committed
  64ced68

• Demo test case to generate raft traces with random faults

  Show description for 95ac53c
  joshuazh-x

  committed
  95ac53c