This demo runs a flow based verfication check across a 3 tier network. Full details and explanations can be seen within the Interop presentation - Validating Network HA with Batfish.
This script will run the following steps over the following
- Create a snapshot fork
- Disable an attribute (node or interface)
- Run a differential reachability test
- If the flow result (success/fail) IS different to the original snapshot it will print the flow results
- If the flow result (success/fail) IS NOT different step the script will proceed to step 1 again
Install and run Batfish from a Docker container.
$ docker run --name batfish -d -v batfish-data:/data -p 8888:8888 -p 9997:9997 -p 9996:9996 batfish/allinoneInstall the Python dependencies (assuming you have Poetry installed). This will automatically install the Python package dependencies into a virtual environment.
$ poetry installUse poetry run to execute the demo script. Pass the IP address of your Batfish service using the -i/--service_ip argument. If you are running Batfish from the container in the previous step, just use -i localhost.
$ poetry run ./demo/impact_analysis.py -p snapshots/3tier-multivendor/ -n demo-net -s demo-snapshot -i localhost