While I was looking at the ABA test code, I found a bug. When there are two nodes whose input is 1 and two nodes whose input is 0. We cannot predict whether the result will be 0 or 1, because the ABA protocol is random, and the output maybe 0 or 1, not a definite value.
|
testAgreement(t, []bool{true, false, true, false}, true) |
While I was looking at the ABA test code, I found a bug. When there are two nodes whose input is 1 and two nodes whose input is 0. We cannot predict whether the result will be 0 or 1, because the ABA protocol is random, and the output maybe 0 or 1, not a definite value.
hbbft/bba_test.go
Line 29 in 0826ffd