Giters

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

Check Point GAIA: No dynamic routing support?

chkp-antonr opened this issue · comments

commented

Does Batfish support dynamic routing in Check Point GAIA?

It seems like all bgp-related lines in config are ignored

	Nodes	Source_Lines	Type	Details	Line_Text	Parser_Context
15	None	[configs/bfGW1.cfg:[177]]	Parse warning	This syntax is unrecognized	set route-redistribution to bgp-as 65022 from interface eth0 on	[set_line_tail set_line line check_point_gateway_configuration]
32	None	[configs/bfGW1.cfg:[142]]	Parse warning	This syntax is unrecognized	set bgp external remote-as 65022 description "to Cumulus"	[set_line_tail set_line line check_point_gateway_configuration]
51	None	[configs/bfGW1.cfg:[149]]	Parse warning	This syntax is unrecognized	set inbound-route-filter bgp-policy 522 based-on-as as 65022 on	[set_line_tail set_line line check_point_gateway_configuration]

Same for OSPF

	Nodes	Source_Lines	Type	Details	Line_Text	Parser_Context
49	None	[configs/bfGW1.cfg:[146]]	Parse warning	This syntax is unrecognized	set ospf instance default area backbone on	[set_line_tail set_line line check_point_gateway_configuration]
142	None	[configs/bfGW1.cfg:[147]]	Parse warning	This syntax is unrecognized	set inbound-route-filter ospf2 instance default accept-all-ipv4	[set_line_tail set_line line check_point_gateway_configuration]