ratulm

What is the ideal here? Header and Path constraints are classes in Python, so the documentation takes them there (as it does for Flow, Trace, etc.) DispositionSpec is a string...

@EvgeniNetformx - is this still happening and is the issue relevant to you? 1. With bug reports like these, please attach relevant output of initIssues 2. For Palo Alto, did...

@Katsuya414 - can you specify configuration snippet (with metric) that works in Batfish and one (without metric) that does not work?

@LeakingDuck - Nothing on the roadmap at the moment. Feel free to 1/ leave the issue open, so others can chime in; we can re-evaluate if there is enough support...

Do you want to model the host firewall on your Windows machine? If so, Batfish does not support that today. If you don't care about host firewall and instead just...

@Katsuya414 - can you add configuration that you expect to work but isn't work? Also, what does "fail" mean? What error do you get?

Hey, @max70-root - Can you attach a sample config and the error you are getting? Batfish understands at least some aspects of vdoms, so I'd want to take a look...

To clarify, the request here is to extract spanning-tree port type setting (one of 'EDGE'/'EDGE TRUNK'/'NORMAL'/'NETWORK').

@Ar4w - since it is an error with the route simulation, individual configs or config sections will not be enough. You could run your configs through https://github.com/intentionet/netconan to anonymize, which...

@jhammond-git - ttl and tracked are not modeled by Batfish, which is what the warning is meant to communicate. (it not a lexing issue. `ttleq25` is a stringification problem.)