Commit df70e235 authored by garciay's avatar garciay
Browse files

Added missing 'repeat' statements

parent d84d304c

ePassport/ttcn/ePassport_Altsteps.ttcn

+17 −5
Original line number Diff line number Diff line
@@ -25,7 +25,7 @@ 
    	function f_cfUp() runs on MRTD {

    			

        	// map ports

        	map(self:mgmt, system: system_mgmt);

        	//map(self:mgmt, system: system_mgmt);

        	map(self:mrtdport, system: system_mrtdPort);

        			

        	// activate default
@@ -61,12 +61,17 @@ 
			[] t_guard.timeout {

				log("**** a_default: Error: Lifetime of testcase has expired. Sopping TC now. ****");

        		setverdict(inconc);

        		stop

        		stop;

        	}

        	[] any timer.timeout {

        		log("**** a_default: Error: Unexpected timeout occured. ****");

        		setverdict(inconc);

        		stop

        		stop;

        	}

        	[] any port.receive {

        		log("**** a_default: Error: Unexpected message received. ****");

        		setverdict(inconc);

        		stop;	

        	}        	

		}
@@ -115,6 +120,7 @@ 
    						.internalAuthenticateData.challenge;

				v_response := f_activeAuthentication(v_rndIfd);

				mrtdport.send(m_responseRead(v_response));

				repeat;

			}

    	} // end a_activeAuthentication
@@ -131,6 +137,7 @@ 
				f_chipAuthentication(v_publicKeyPcd);

				mrtdport.send(m_responseOK);

				vc_simu.securityStatus := e_chipAuthenticated;

				repeat;

			}

    	} // end a_chipAuthentication
@@ -197,6 +204,7 @@ 
			[] mrtdport.receive(mw_getChallenge) {

				v_rndIcc := f_generateRandomOctetstring(c_atNonceSize); 

				mrtdport.send(m_responseRead(v_rndIcc));	

				repeat;	

			}



			// The MRTD is waiting an External Authenticate message including the signature of the IS
@@ -211,6 +219,7 @@ 
				}

				

				vc_simu.securityStatus := e_terminalAuthenticated;

				repeat;

			}

    		

    	} // end a_terminalAuthentication
@@ -225,6 +234,7 @@ 
    		[] mrtdport.receive(mw_selectApplication) {

    			mrtdport.send(m_responseOK);

    				vc_simu.securityStatus := e_noSecurity;

    				repeat;

    		}

    		

    	} //end a_waitApplication
@@ -243,6 +253,7 @@ 
        		// MRTD sends its random challenge to IS

        		v_rndIcc := f_generateRandomOctetstring(c_bacNonceSize);

    			mrtdport.send(m_responseRead(v_rndIcc));

				repeat;

        	}

        	

    		[] mrtdport.receive(mw_extAuthenticate) -> value v_command {
@@ -253,6 +264,7 @@ 
        		v_response := f_basicAccessControl(v_rndIcc, v_challengeResponse);

        		mrtdport.send(m_responseRead(v_response));

        		vc_simu.securityStatus := e_basicAccessControl;

				repeat;

    		}

    			

        } // end a_bac