Commit 56cd7c64 authored by kretzschmann's avatar kretzschmann
Browse files

fix syntax errors

parent 7dc23ce5

test_purposes/Ngnas_Common.tplan2

+6 −7
Original line number Diff line number Diff line
@@ -206,7 +206,7 @@ Package Ngnas_Common { 
            - completedHandover

            - isInOverloadedState

        ;

        event template:

        event templates:

        /* This template can be used as default AUTHENTICATION REQUEST message within a DOWNLINK NAS TRANSFER message. */

            - AUTHENTICATION_REQUEST {

                the IUT entity sends an DOWNLINK_NAS_TRANSFER containing
@@ -224,19 +224,18 @@ Package Ngnas_Common { 
				;

				to the UE entity

            }

    } // End of Domain section





    Const {

       PX_WRONG_ARP_IEI; //0x20

        ;

    } // End of Const section

    } // End of Domain section



    Data {

    	

        type NgapMessage;

        type Cause;

        type Bitstring;

        type PIXIT;



        PIXIT PX_WRONG_ARP_IEI; //0x20

        PIXIT PX_WRONG_ARP_IEI; //0x20

        

        //Table 8.1-1     

        NgapMessage AMF_CONFIGURATION_UPDATE;

test_purposes/ngnas/TP_AMF_NGNAS.tplan2

+6 −5
Original line number Diff line number Diff line
@@ -49,6 +49,7 @@ Package TP_AMF { 
							security_header_type set to NOT_SECURITY_PROTECTED,

							registration_request_message_identity set to REGISTRATION_REQUEST

							;

						;

						

					}

					then {
@@ -126,11 +127,11 @@ Package TP_AMF { 
			PICS Selection NONE

			

			Initial conditions with {

				the UE entity isNotRegisteredTo the AMF and

				(.) at time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

				(!) 6s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

				(!) 12s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

				(!) 18s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

				the UE entity isNotRegisteredTo the AMF 

				and (.) at time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

				and (!) 6s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

				and (!) 12s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

				and (!) 18s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

			}

			Expected behaviour

				ensure that {