[adj]     Starting test [ node(s): r1,r3,r4 ]
[PASS]    r3: OSPFv2 neighbor 10.0.0.2 is in state Full/DROther
[PASS]    r1: OSPFv2 neighbor 10.0.0.2 is in state Full/-
[PASS]    r4: OSPFv2 neighbor 10.0.0.2 is in state Full/DROther
[PASS]    Test succeeded in 5.6 seconds
[PASS]    OSPF routers have adjacency with R2

[pfx]     Starting test [ node(s): r3,r4 ]
[PASS]    r3: The prefix 10.42.42.0/24 is in the OSPF topology
[PASS]    r4: The prefix 10.42.42.0/24 is in the OSPF topology
[PASS]    Test succeeded in 0.2 seconds

[SUCCESS] Tests passed: 5