Skip to content

Commit

Permalink
Remove newlines from comments
Browse files Browse the repository at this point in the history
  • Loading branch information
wilcoxjay authored Dec 8, 2023
1 parent d386e94 commit a5a81cb
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions labs/lab3-paxos/tst/dslabs/paxos/PaxosTest.java
Original file line number Diff line number Diff line change
Expand Up @@ -1028,8 +1028,7 @@ public void test23QuorumCheckingSearch() {
.addPrune(hasCommand(server(4), 1, c2))
.addPrune(hasCommand(server(5), 1, c1));

// Find a state where server 3 gets client 1's command via quorum
// {server2, server3, server4}
// Find a state where server 3 gets client 1's command via quorum {server2, server3, server4}
searchSettings.nodeActive(server(1), false).nodeActive(server(5), false)
.deliverTimers(server(1), false)
.deliverTimers(server(5), false)
Expand All @@ -1042,8 +1041,7 @@ public void test23QuorumCheckingSearch() {
bfs(c1AtServer4);
final SearchState c1AtServer3 = goalMatchingState();

// Now, find a state where server 3 has client 2's command via quorum
// {server1, server2, server3, server5}
// Now, find a state where server 3 has client 2's command via quorum {server1, server2, server3, server5}
searchSettings.nodeActive(server(4), false).nodeActive(server(3), false)
.nodeActive(server(1), true).nodeActive(server(5), true)
.clearDeliverTimers().deliverTimers(server(4), false)
Expand Down

0 comments on commit a5a81cb

Please sign in to comment.