This post is part of the Batfish Guide []. This is where Batfish really starts to come into its own. Using Batfish we can not only analyze the configuration settings of the network, but we can also analyze the behaviour of control plane protocols such as BGP or OSPF. Ensuring that BGP adjacencies will successfully establish and that OSPF neighbor adjacencies will correctly form. Import Snapshot Import the snapshot for this section using the supplied helper

Close You've successfully subscribed to PacketFlow.
Close Success! Your account is fully activated, you now have access to all content.
Close Welcome back! You've successfully signed in.
Close Nearly there! To activate your account, please click the link in the email we just sent you.