Commit 02f19e2a authored by schmitting's avatar schmitting
Browse files

ISC_GEN_02: "with" statement added,

"IUT has_received_MESSAGE from AS1 via ISC"
parent 7808f19c
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -46,6 +46,7 @@ with { UE1 and UE2 registered in IUT and
       IUT has_received_MESSAGE from UE1 addressed to UE2 and
			 IUT configured_with_an_iFC_designed_to_contact AS1 for MESSAGE and
			 IUT has_sent_MESSAGE to AS1 via ISC and
			 IUT has_received_MESSAGE from AS1 via ISC and
			 IUT has_sent_MESSAGE to UE2 via GM and
			 AS1 has_indicated_the_handling_of_the_whole_dialog to IUT 
}