hostRecvRas - Verifying that a host accept the union of all RAs
Host only
hostRecvRas .seq [-tooloption ...] -p hostRecvRas.def
TN NUT ----------------------
State: NONCE (for TN)
==== unsolicited RA ===> src=TN's link-local dst=all-node M=0, O=0 RouterLifetime=600 ReachableTime=0 RetransTimer=0 w/ SLLA Prefix Option: L=1, A=1 ValidLifetime=2592000 PreferredLifetime=604800 Prefix=3ffe:501:ffff:100::/64
State: STALE (for TN)
==== unsolicited RA ===> src=TN's link-local dst=all-node M=0, O=0 RouterLifetime=600 ReachableTime=0 RetransTimer=0 w/ SLLA Prefix Option: L=1, A=1 ValidLifetime=2592000 PreferredLifetime=604800 Prefix=3ffe:501:ffff:108::/64
==== unsolicited RA ===> src=TN's link-local dst=all-node M=0, O=0 RouterLifetime=600 ReachableTime=0 RetransTimer=0 w/ SLLA Prefix Option: L=1, A=1 ValidLifetime=2592000 PreferredLifetime=604800 Prefix=3ffe:501:ffff:107::/64
<=== Ns for DAD ==== src=unspecified dst=solicited-node[NUT's global, prefix=3ffe:501:ffff:100::/64] target=NUT's global
<=== Ns for DAD ==== src=unspecified dst=solicited-node[NUT's global, prefix=3ffe:501:ffff:108::/64] target=NUT's global
<=== Ns for DAD ==== src=unspecified dst=solicited-node[NUT's global, prefix=3ffe:501:ffff:107::/64] target=NUT's global
Wait (3 sec)
==== solicited NA ===> src=TN's link-local dst=NUT's link-local R=1, S=1, O=1 target=X's link-local TLLA=X's LLA
State: REACHABLE (for TN)
TN NUT ---------------------- State: REACHABLE (for TN)
==== echo-request ===> src=off-link global, but LLA is TN's one dst=NUT's global, prefix==3ffe:501:ffff:100::/64
<=== Judgment #2: echo-reply ==== src=NUT's global, prefix==3ffe:501:ffff:100::/64 dst=off-link global, but LLA is TN's one
==== echo-request ===> src=off-link global, but LLA is TN's one dst=NUT's global, prefix==3ffe:501:ffff:108::/64
<=== Judgment #2: echo-reply ==== src=NUT's global, prefix==3ffe:501:ffff:108::/64 dst=off-link global, but LLA is TN's one
==== echo-request ===> src=off-link global, but LLA is TN's one dst=NUT's global, prefix==3ffe:501:ffff:107::/64
<=== Judgment #2: echo-reply ==== src=NUT's global, prefix==3ffe:501:ffff:107::/64 dst=off-link global, but LLA is TN's one