|
|
testLeaderElection(network,
isLeader=<function <lambda> at 0x607fc70>,
isNonleader=<function <lambda> at 0x607fd30>)
Asserts that exactly one Process is Leader, and all other processes
are Non-Leader |
source code
|
|
|
|
testBroadcast(network,
attr)
Asserts that p.state[attr] is identical for all processes p |
source code
|
|
|
|
testBFS(network)
Asserts that every Process, p, knows 'parent', and there exists
exactly one Process where 'parent' is None |
source code
|
|
|
|
testBFSWithChildren(network)
Asserts that every Process, p, knows 'parent' and 'children', and
there exists exactly one Process where 'parent' is None |
source code
|
|
|
|
testLubyMIS(network)
Asserts that every process knows a boolean value, 'MIS', and that the
Processes where 'MIS' is True form a set that is both independent and
maximal. |
source code
|
|