search

netarch / neo

A network testing tool combining formal model checking and container-based emulation that covers in-network non-determinism
Other
8 stars 4 forks source link

Failure process #19

Open kyechou opened 2 years ago

kyechou commented 2 years ago

The failure agent/process is not implemented yet, but if a link fails, the FIB would need to be updated. (A link failure will change the "active_peers" of the related nodes, and hence potentially change the FIB.