Commit 1cf03153 authored by garciay's avatar garciay
Browse files

Add pseudo-random number generator support 

Add test for fx_random method call
parent 56da41e6

ePassport/ttcn/ePassport_Testcases.ttcn

+5 −0
Original line number Diff line number Diff line
@@ -435,6 +435,11 @@ module ePassport_Testcases { 
        	f_cfUp();

        	f_initializeMRTD("CFG.DFLT.PLAIN");

        	//f_initializeIS();

        	

        	for (var integer i := 0; i < 15; i := i +1) {

        	    log ("Random #" & int2str(i) & " = " & int2str(fx_random()));

        	}

        	

        	t_wait.start;

        	alt {

        		[] a_standardInspectionProcedure();