cosmetics

Change-Id: Icc787ee8316ac3c535dc2ba0944aaa2e69949625
This commit is contained in:
Oliver Smith 2019-03-13 11:38:37 +01:00
parent 27772489d7
commit b7e6e6390b
2 changed files with 0 additions and 7 deletions

View File

@ -701,8 +701,6 @@ module GGSN_Tests {
f_wait_icmp6(ctx, (tr_ICMPv6_ERP,tr_ICMPv6_DU));
}
/* new block */
/* create ICMPv6 router solicitation deriving link-id from PDP Context EUA */
function f_icmpv6_rs_for_pdp46(in PdpContext ctx) return octetstring {
var OCT16 interface_id := ctx.eua.endUserAddress.endUserAddressIPv4andIPv6.ipv6_address;
@ -718,8 +716,6 @@ module GGSN_Tests {
return f_gen_icmpv6_neigh_solicit(link_local, daddr, link_local);
}
/* new block end */
/* Assert we don't receive a ICMPv4/6 echo reply (or unreachable) from GTP */
function f_wait_gtpu_fail(PdpContext ctx) runs on GT_CT {
T_default.start;

View File

@ -175,9 +175,6 @@ module GTP_Templates {
}
}
}
/* All static and dynamic combinations (TS 29.060 7.2.27) */
/* template EndUserAddress t_EuaIPv4Dynv6Sta := t_EuaIPv4v6(omit, ip_addr6); */
/* template EndUserAddress t_EuaIPv4Stav6Dyn := t_EuaIPv4v6(ip_addr4, omit); */
template EndUserAddress t_EuaIPv4Dynv6Dyn := t_EuaIPv4v6(omit, omit);
template EndUserAddress tr_EuaIPv4v6(template OCT4 ip_addr4, template OCT16 ip_addr6) modifies t_EuaIPv4v6 := {
endUserAddress := {