Fixed client

Author: adduta

simulator/src/main/java/byzzbench/simulator/protocols/fab2/FastByzantineClient.java

@@ -107,7 +107,7 @@ public void handleMessage(String senderId, MessagePayload reply) {
         this.replies.add(reply);
         if (learnersList.contains(senderId)) {
             learners.incrementAndGet();
-            if (learners.get() == 4) {
+            if (learners.get() == 3) {
                 for (String proposer : proposersList) {
                     this.sendRequest(proposer);
                 }

simulator/src/main/java/byzzbench/simulator/protocols/fab2/FastByzantineReplica.java

@@ -444,7 +444,8 @@ private void handleLearnMessageProposer(String sender, LearnMessage learnMessage
             }
 
             // Leader is ready to move to the next request.
-            if (isLeader() && !requests.isEmpty()) {
+            if (isLeader() && !requests.isEmpty()
+            && messageLog.getProposersWithLearnedValue().size() >= p) {
                 Serializable request = requests.poll();
                 this.proposalNumber++;
                 log.info("Increasing proposal number: " + this.proposalNumber);