Commented out the cause of seeded bug

Author: Biatbe13

simulator/src/main/java/byzzbench/simulator/protocols/hbft/MessageLog.java

@@ -219,7 +219,7 @@ public void appendCheckpoint(CheckpointMessage checkpoint, int tolerance, Specul
             int matching = 0;
 
             for (CheckpointMessage proof : checkpointProofs.values()) {
-                if (proof.equals(checkpoint)) {
+                if (proof.equals(checkpoint) /* Arrays.equals(proof.getDigest(), checkpoint.getDigest()) */) {
                     matching++;
 
                     if (matching == stableCount) {
@@ -240,7 +240,7 @@ public boolean isCER1(CheckpointMessage checkpoint, int tolerance) {
         int matching = 0;
 
         for (CheckpointMessage proof : checkpointProofs.values()) {
-            if (proof.equals(checkpoint)) {
+            if (proof.equals(checkpoint) /* Arrays.equals(proof.getDigest(), checkpoint.getDigest()) */) {
                 matching++;
             }
         }
@@ -257,7 +257,7 @@ public boolean isCER2(CheckpointMessage checkpoint, int tolerance) {
         int matching = 0;
 
         for (CheckpointMessage proof : checkpointProofs.values()) {
-            if (proof.equals(checkpoint)) {
+            if (proof.equals(checkpoint) /* Arrays.equals(proof.getDigest(), checkpoint.getDigest()) */) {
                 matching++;
             }
         }