Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 7 additions & 6 deletions snapshots/eos_evpn_multiple_rts/source/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -60,9 +60,10 @@ Deployed on cEOS 4.36.0.1F via the `infra/` lab builder, collected, and
validated against Batfish. All 6 `checks.yaml` preconditions pass on the
real device: both cross-VRF routes import via their non-last RT.

Against Batfish the bug reproduces exactly. `test_main_rib_routes`,
`test_bgp_rib_routes`, and `test_evpn_rib_routes` fail on both leaves
because the imported route is missing (RED lacks `10.2.2.2/32`, BLUE
lacks `10.1.1.1/32`). These are sickbayed to xfail against
batfish/batfish#10113; remove the entries once Batfish models multiple
import/export RTs.
The multiple-route-target modeling gap (batfish/batfish#10113) and the
related `send-community extended` gap (batfish/batfish#10116) are fixed,
so both cross-VRF routes now reach the main RIB and
`test_main_rib_routes` passes. `test_bgp_rib_routes` and
`test_evpn_rib_routes` still xfail on the pre-existing locally-originated
path-attribute divergence (lab-validation#152), which is unrelated to
route targets and appears in any Arista EVPN lab.
22 changes: 10 additions & 12 deletions snapshots/eos_evpn_multiple_rts/validation/sickbay.yaml
Original file line number Diff line number Diff line change
@@ -1,22 +1,20 @@
# Expected failures for the multiple-route-target EVPN lab.
#
# Batfish's Arista model keeps only a single import and a single export
# EVPN route-target per VRF (last line wins). This lab lists the matching
# RT before an unused decoy in each direction, so Batfish retains only the
# decoy and imports neither cross-VRF route. The real device imports both.
# Tracked in https://github.com/batfish/batfish/issues/10113.
# The multiple import/export route-target modeling gap (batfish#10113) and
# the related send-community extended gap (batfish#10116) are fixed, so the
# cross-VRF routes now reach the main RIB and test_main_rib_routes passes.
#
# Remove these entries once Batfish models multiple import/export RTs.
# The remaining BGP/EVPN RIB failures are the known locally-originated
# path-attribute divergence, not route-target related: the device carries
# locally-originated paths (the `network` loopbacks, and each leaf's own
# EVPN Type-5 route with an empty/local AS path and no next hop) that
# Batfish models with different attributes.
entries:
- hostname: "leaf[12]"
test_name: test_main_rib_routes
skip:
reason: "Multiple EVPN route-targets collapse to the last one, so the cross-VRF imported route is missing from the VRF RIB. https://github.com/batfish/batfish/issues/10113"
- hostname: "leaf[12]"
test_name: test_bgp_rib_routes
skip:
reason: "Multiple EVPN route-targets collapse to the last one, so the cross-VRF imported route is missing from the BGP RIB. https://github.com/batfish/batfish/issues/10113"
reason: "Locally-originated BGP path attribute divergence (network-statement loopbacks). https://github.com/batfish/lab-validation/issues/152"
- hostname: "leaf[12]"
test_name: test_evpn_rib_routes
skip:
reason: "Multiple EVPN route-targets collapse to the last one, so the imported EVPN Type-5 route is missing. https://github.com/batfish/batfish/issues/10113"
reason: "Locally-originated EVPN Type-5 path attribute divergence (self-originated route, local AS path, no next hop). https://github.com/batfish/lab-validation/issues/152"