Commit 83a3a714 authored by berge's avatar berge
Browse files

Fixed minor issue

parent 3416e945

ePassport/ttcn/ePassport_Altsteps.ttcn

+11 −5
Original line number Diff line number Diff line
@@ -357,7 +357,10 @@ module ePassport_Altsteps { 
         */

        altstep a_standardInspectionProcedure() runs on MRTD {

        

            [] a_waitApplication();

            [] a_waitApplication() {

                t_ac.start;

                repeat; 

            }

            

            [vc_simu.securityStatus > e_noApplication 

                and vc_simu.securityStatus < e_basicAccessControl] a_bac();
@@ -372,7 +375,10 @@ module ePassport_Altsteps { 
         */

        altstep a_advancedInspectionProcedure() runs on MRTD {

            

            [] a_waitApplication();

            [] a_waitApplication() {

                t_ac.start;

                repeat;	

            }

            

            [vc_simu.securityStatus > e_noApplication 

                and vc_simu.securityStatus < e_basicAccessControl] a_bac();
@@ -549,6 +555,7 @@ module ePassport_Altsteps { 
        

        /**

         * @desc    Handle 'Select Application' message (First message to be received)

         * @remark  This altstep does not repeat !

         */

        altstep a_waitApplication () runs on MRTD {
@@ -560,9 +567,8 @@ module ePassport_Altsteps { 
                

                vc_simu.securityStatus := e_noSecurity;

                mrtdport.send(m_responseOK);

                t_ac.start;

                repeat;

            }

            

        } //end a_waitApplication

        

        /**

ePassport/ttcn/ePassport_Testcases.ttcn

+7 −2
Original line number Diff line number Diff line
@@ -156,6 +156,8 @@ module ePassport_Testcases { 
            alt {

                [] a_waitApplication() {

                    f_setIncrementSsc(true); 

                    t_ac.start;

                    repeat; 

                }

                

                [] mrtdport.receive(mw_readShortEF(c_fileDG1.shortFileId)) -> value v_readCommand {
@@ -577,6 +579,9 @@ module ePassport_Testcases { 
                [] a_waitApplication() {

                    // Modify Document number

                    vc_simu.documentNumber := char2oct("M11T002JM4");

                    log("**** TC_ISO7816_E11: INFO: Modified document number: ", vc_simu.documentNumber, " ****");

                    t_ac.start;

                    repeat; 

                }

                

                [] a_advancedInspectionProcedure();