Tags: netarch/batfish
Tags
install_z3_rhel_x86_64.sh: fix bash bug (batfish#860) * install_z3_rhel_x86_64.sh: fix bash bug
Merge pull request batfish#750 from batfish/patch-release-33.3 Patch release 33.3
fix spurious circular references in routing policy called policy dete… …ction (batfish#701) * fix spurious circular references in routing policy called policy detection * add tests for circular routing policy references - add getters and setters for transient Warnings fields - compute ALL rp sources instead of just used ones - remove unnecessary iterator() calls for ImmutableSet builder addAll - add null check for WithEnvironmentExpr _expr sources traversal - add tests * use correct import * clean up rp source gathering * add missing null check
Merge pull request batfish#680 from batfish/fix-format-locally Update fix_java_format script to fix file when run locally.
PreviousNext