lbadd
lbadd copied to clipboard
raft: module on the raft testing framework to kill servers
This module must be able to kill any random server, probably multiple at a time and observe the operations that proceed.