Peiyang He

Error in MadSim 0.1.3 src/net/rpc.rs line 39

3

Thanks for providing these great labs! But I am not able to run the tests correctly on MacOS. I try to run the test `initial_election_2a`, but found this compiling error...

In line 1419 of lib.rs, https://github.com/eatonphil/raft-rs/blob/2167f65f6831ab3d29c6704762015c884d6afb2d/src/lib.rs#L1419C9-L1419C33 `state.volatile.votes += 1` is executed without verifying whether the term in `request_vote_response` matches the current term. To my understanding, if a delayed `request_vote_response` with...

Other non-typo changes are made by running `cargo fmt`.

Currently this function has one bug: https://github.com/stateright/stateright/blob/4c385128baa589c6760e675ca32219fb722aedd3/src/checker/explorer.rs#L35-L59 In line 40, the second parameter of `serialize_struct` is wrong. And I fixed all fmt and clippy errors in this PR.

cargo test panic

1

5 test cases failed due to the `char::to_digit` call: `to_digit: invalid radix -- radix must be in the range 2 to 36 inclusive`. I believe this is caused by the...