NetworkVerification / nv

A Framework for Modeling and Analyzing Network Configurations
MIT License
31 stars 2 forks source link

Translation issue #63

Open nickgian opened 4 years ago

nickgian commented 4 years ago

The node swapping process in the translation from batfish is not working properly. I believe simple networks do not demonstrate this bug, but when there are a few more nodes in the routing policy things get messed up. USCarrier is affected by this (node peertoccoa for instance).