EIGRP

netverdict models EIGRP as a deterministic route solver for classic lab topologies. The model captures the configuration and metric behaviour users usually need, without claiming to reproduce Cisco’s full DUAL event machine.

Support level

Area	Level	Notes
IPv4 EIGRP	Behaviour model	Network selection, neighbours implied by shared segments, route computation.
Metric calculation	Supported	Bandwidth, delay, reliability, load, and MTU fields are represented where available.
Autonomous system	Supported	Routers must share the same AS to participate together.
Passive interfaces	Supported	Suppresses neighbour formation on selected interfaces.
DUAL transitions	Not modelled	Feasible successor event timing is simplified into deterministic route solving.

Standards coverage

Standard	Coverage	Notes
RFC 7868	Behaviour model	EIGRP route selection and metric concepts are represented for simulation.

Feature matrix

Feature	Status	Notes
router eigrp <asn>	Supported	Creates the process.
network <prefix>	Supported	Selects participating interfaces.
Wildcard network form	Supported	Cisco-style wildcard matching.
passive-interface	Supported	Blocks adjacency on the interface.
K values	Config model	Parsed/stored where supported; runtime uses the implemented metric subset.
Summarisation	Partial	Summary config may be preserved; full event behaviour is not the focus.
Redistribution	Partial	Shared policy surfaces exist; EIGRP redistribution coverage is not as deep as OSPF/BGP.

Vendor command matrix

Command	IOS-style	Junos-style	VyOS-style	Notes
router eigrp 100	Supported	n/a	n/a	Cisco-family process mode.
network 10.0.0.0 0.0.255.255	Supported	n/a	n/a	Interface selection.
passive-interface GigabitEthernet0/0	Supported	n/a	n/a	Suppresses adjacency.
show ip eigrp neighbors	Supported	n/a	n/a	Model-derived neighbour view.
show ip route eigrp	Supported	n/a	n/a	EIGRP-learned routes.

Behaviour notes

The EIGRP solver is deterministic: it computes the reachable graph and installs the best route using the modelled composite metric. It is meant for teaching, troubleshooting, and config analysis, not for validating every transient DUAL state during a failure.

Examples

Canonical example

configure terminal
router eigrp 100
 network 10.0.0.0 0.0.255.255
 passive-interface Loopback0
end
show ip eigrp neighbors
show ip route eigrp

Vendor styles

IOS-style

router eigrp 100
 network 10.0.0.0 0.0.255.255
 passive-interface Loopback0

FRR-style

router eigrp 100
 network 10.0.0.0/16
 passive-interface lo

Junos / VyOS note

Junos does not provide native EIGRP. VyOS EIGRP support is not treated as a primary vendor target in the current netverdict model.

Known limits

Stub routing, unequal-cost load balancing, named-mode EIGRP, full DUAL query / reply timing, and vendor debug output are not complete support claims today.