remove newlines between bfs searches

emichael · Dec 10, 2023 · 67b15db · 67b15db
1 parent a5a81cb
commit 67b15db
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/labs/lab3-paxos/tst/dslabs/paxos/PaxosTest.java b/labs/lab3-paxos/tst/dslabs/paxos/PaxosTest.java
@@ -1028,20 +1028,21 @@ 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)
  .deliverTimers(client(2), false)
  .addGoal(hasCommand(server(4), 1, c1));
  bfs(initSearchState);
  final SearchState c1AtServer4 = goalMatchingState();
-
  searchSettings.clearGoals().addGoal(hasCommand(server(3), 1, c1));
  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)
@@ -1050,7 +1051,6 @@ public void test23QuorumCheckingSearch() {
  .addGoal(hasCommand(server(5), 1, c2));
  bfs(c1AtServer3);
  final SearchState c2AtServer5 = goalMatchingState();
-
  searchSettings.nodeActive(server(3), true)
  .deliverTimers(server(3), true).clearGoals()
  .addGoal(hasCommand(server(3), 1, c2));