batfish / 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 evolve their network, without fear of outages or security breaches.

Home Page:http://www.batfish.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Misnaming of 'local-interface' as 'source interface' in MLAG Properties DataFrame

amar-ox opened this issue · comments

Description:
In MLAG properties dataframe, the local-interface value from the configuration files is presented in the 'source interface' column of the properties DataFrame. This seems unintuitive and possibly a misnaming.

Runnable example

from pybatfish.client.session import Session
bf = Session(host="localhost")

NETWORK_NAME = "aristaevpn"
SNAPSHOT_NAME = "aristaevpn"
SNAPSHOT_PATH = "path_to_example/aristaevpn/"

bf.set_network("github-bug-report")
bf.init_snapshot(SNAPSHOT_PATH, name=SNAPSHOT_NAME, overwrite=True)
# Verify that Batfish recognized the vendor format correctly
print(bf.q.fileParseStatus().answer())
# Insert command(s) below to demonstrate the problem
mlags = bf.q.mlagProperties(nodes='/DC1-SVC3A/').answer().frame()
mlags   # local-interface is declared to be Vlan4094 in config file

We use Vendor Independent language that is not coupled to the single vendor you happened to use.