Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Implementation of a simplified test that proves that there is no consensus among the nodes.
It creates a cluster of 5 nodes where one node is faulty (A_4).
In round 0 for a sequence 1 node A_0 locks a proposal which is defined in the flow map.
In round 1 for a sequence 1 node A_1 locks different proposal which is defined in the flow map.
In all other rounds everyone except faulty node (A_4) communicate and there is no consensus.
Note: The test asserts that liveness issue exists.