[adj]     Check OSPFv3 adjacencies [ node(s): x1,x2,x3 ]
[WAITING] Waiting for OSPFv3 adjacencies to come up (retrying for 30 seconds)
[PASS]    Validation succeeded on x2
[PASS]    Validation succeeded on x3
[WAITING] Waiting for OSPFv3 adjacencies to come up (14 seconds left)
[PASS]    Validation succeeded on x1
[PASS]    Succeeded in 19.8 seconds
[PASS]    Test succeeded

[stub_ar] Check for DUT stub prefix being an intra-area route in area 2 [ node(s): x2 ]
[PASS]    x2: The prefix 2001:db8:bad:cafe::/64 is in the OSPFv3 topology with route type=Intra-Area
[PASS]    Test succeeded

[stub_ia] Check for DUT stub prefix being an inter-area route in areas 0 and 3 [ node(s): x1,x3 ]
[PASS]    x3: The prefix 2001:db8:bad:cafe::/64 is in the OSPFv3 topology with route type=Inter-Area
[WAITING] Waiting for DUT and SPF to do their magic (retrying for 10 seconds)
[PASS]    x1: The prefix 2001:db8:bad:cafe::/64 is in the OSPFv3 topology with route type=Inter-Area
[PASS]    Succeeded in 2.4 seconds
[PASS]    Test succeeded

[SUCCESS] Tests passed: 6