Commit 56da41e6 authored by berge's avatar berge
Browse files

Removed unused xfs + moved f_cfUp() again

parent 8a3f9666

ePassport/ttcn/ePassport_Altsteps.ttcn

+14 −0
Original line number Diff line number Diff line
@@ -20,6 +20,20 @@ 
	import from ePassport_Templates all;

	import from ePassport_Pixits all;



    group configurationFunctions {

    	

    	function f_cfUp() runs on MRTD {

    			

        	// map ports

        	map(self:mgmt, system: system_mgmt);

        	map(self:mrtdport, system: system_mrtdPort);

        			

        	// activate default

        	activate(a_default());

        	activate(a_fileDefault());

        }	

    }





	group defaults {

ePassport/ttcn/ePassport_Functions.ttcn

+2 −6
Original line number Diff line number Diff line
@@ -23,11 +23,7 @@ 


		group securityExternalFunctions {



            external function fx_bacAuth ( inout octetstring p_rnd_ifd, in octetstring p_rnd_icc, inout octetstring p_kicc  ) return octetstring;

            

            external function fx_activeAuth ( inout octetstring p_rnd_ifd ) return octetstring;

            

            external function fx_verifyCertificate( in octetstring p_psodata ) return boolean;

            external function fx_verifyCertificate( in octetstring p_psoData ) return boolean;

            	

            external function fx_verifySignature( in octetstring p_signature ) return boolean;

ePassport/ttcn/ePassport_TestSystem.ttcn

+0 −15
Original line number Diff line number Diff line
@@ -11,7 +11,6 @@ module ePassport_TestSystem { 
	//Ats

	import from ePassport_Types all;

	import from ePassport_Pixits all;

	import from ePassport_Altsteps {altstep a_default, a_fileDefault};

		

	type component MRTD_System

	{
@@ -81,20 +80,6 @@ group portDefs { 
	//type port TaPort message {in Command, out Response};

}



group configurationFunctions {

	

	function f_cfUp() runs on MRTD {

			

    	// map ports

    	map(self:mgmt, system: system_mgmt);

    	map(self:mrtdport, system: system_mrtdPort);

    			

    	// activate default

    	activate(a_default());

    	activate(a_fileDefault());

    }	

}



/*

group primitives {