Commit a8854321 authored by schmitting's avatar schmitting
Browse files

Some minor correction on with statements

parent b9441a60
Loading
Loading
Loading
Loading
+2 −3
Original line number Diff line number Diff line
@@ -1976,7 +1976,6 @@ config ref: CF_1Mw
with {
     IUT not configured_for_topology_hiding and
     UE2 registered in IMS and
     UE2 not registered in IUT and
     IUT configured_with_an_entry_point to IMS
}
ensure that {
@@ -2002,7 +2001,7 @@ config ref: CF_1Mw

with {
     IUT not configured_for_topology_hiding and
     UE2 registered in IUT and
     UE2 registered in IMS and
     IUT configured_with_an_entry_point to IMS
}
ensure that {
@@ -2029,7 +2028,7 @@ config ref: CF_1Mw

with {
     IUT not configured_for_topology_hiding and
     UE2 registered in IUT and
     UE2 registered in IMS and
     IUT configured_with_an_entry_point to IMS and
     IUT configured_to_reject_unsubscribed_service
}