Dan Halperin

More color: https://www.cisco.com/c/en/us/support/docs/ip/border-gateway-protocol-bgp/49111-route-map-bestp.html A variety of `set` statements do different things based on whether the route-map is being used for import/export policy or redistribution. This is bananas.

Hi @EvgeniNetformx! It looks like you are using some pure-L2 links in your network -- if so, you probably need to supply a layer1 topology to ensure that the right...

Top level. So a sibling to `configs` and `hosts`

Thanks @takmiz , this is very helpful. Fortigate is not on our timeline right now, but I hope other users will come in here and 👍 the issue to indicate...

@lwith - I'll take #6015 as a vote for this issue. Are you also able to provide sample configs and the properties you want to be able to analyze?

We would be happy to help a very motivated community member begin the Fortigate support. The Batfish contributes for Intentionet will likely not be able to fit this onto *our*...

Representative configuration files and interesting properties to check (e.g., this config has this bug, could you find it)? Would be very useful to the eventual implementation - so once it...

Hey all, I'm delighted to tell you that we are starting up this work. We are looking for real world configuration examples that we can use during our development and...

Hi everyone! We're wondering how you do CLI maintenance on your fortios devices. Specifically: 1. There are lots of commands (`set`, `unset`, `select`, `unselect`, `append`, `clear`) to modify values. We...

Hi @MattJ-CCL - thanks!! Sorry if I was unclear -- i know what all these commands do, I am curious which ones are in your common toolbox. Btw, `select`/`unselect`/`clear` are...