issues
search
lasp-lang
/
ishikawa
Erlang implementation of tagged reliable causal broadcast.
https://lasp-lang.org
Apache License 2.0
25
stars
3
forks
source link
Update the causal delivery test
#15
Closed
gyounes
closed
7 years ago
gyounes
commented
7 years ago
Switch to default instead of client server
sending multiple messages (in a random way) and upon delivery append to a list in delivery order.
for each node, arbitrate the list using node id (to order concurrent messages) and check if all list are equal.
gyounes
commented
7 years ago
added tests for causal delivery using default and hyparview
randomised tests
didn't arbitrate, but instead compared that delivery ordered is respected for all nodes