batfish
batfish copied to clipboard
batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evo...
REF: https://www.juniper.net/documentation/en_US/junos/topics/concept/routing-instances-overview.html the instance master is the "default" or "i.net.0" routing instance for JunOS. However, in my case, I had to replace "master" with "default" and then it worked. Seems...
For a specific config snippet... protocols { ospf { area 0.0.0.0 { interface all { metric 1; } } } } I would expect all interfaces in that routing instance...
https://github.com/batfish/batfish/blob/master/projects/batfish/src/main/java/org/batfish/representation/cisco_nxos/CiscoNxosConfiguration.java#L688 In NXOS, Redistribute OSPF covers all ospf routes. This code should be adjusted to include IA/E1/E2, etc.
``` policy-statement STATEMENT_NAME { #
From testing and working with Samir, seems that NXOS vPC is not supported by Batfish. Therefore the results of `mlagProperties` are null. This issue is to kindly request support for...
The config snippet below for FRR produces the following 2 parse warnings ``` 98 router bgp 65001 99 bgp router-id 10.15.30.27 100 bgp log-neighbor-changes 101 neighbor fabric peer-group 102 neighbor...
If the OSPF priorities of two connected interfaces are both set to 0, they will not exchange OSPF routes. In the attached configs, the route announcement to 196.35.164.0/22 would not...
In the attached configs, Router2 redistributes connected routes into OSPF, and has a `default-metric` of 100. This causes Batfish to assign a metric of 100 to the routes to 176.160.71.45/32...
When redistributing connected routes into BGP with Cisco route-maps, Batfish will not redistribute the route when used with `set as-path prepend`. An example of this can be seen in the...
When redistributing static or connected routes into BGP, Batfish does not correctly model matching on BGP specific values. Specifically, in the attached configs we redistribute routes but using a route-map...