2003-11-26.08:21:25 [BUILD] del random.se.exe
Impossibile trovare C:\shoot\bench\random\random.se.exe
2003-11-26.08:21:25 [BUILD] copy random.se random.e
        1 file copiati.
2003-11-26.08:21:25 [BUILD] c:\elj-win32\SmallEiffel\bin\compile -boost -O3 -o random.se.exe random
****** Warning: Identifier should use only lowercase letters.
Line 19 column 4 in RANDOMNUMBER (c:\shoot\bench\Include\randomnumber.e) :
   IM: INTEGER is 139968
   ^
------
****** Warning: Identifier should use only lowercase letters.
Line 21 column 4 in RANDOMNUMBER (c:\shoot\bench\Include\randomnumber.e) :
   IA: INTEGER is 3877
   ^
------
****** Warning: Identifier should use only lowercase letters.
Line 23 column 4 in RANDOMNUMBER (c:\shoot\bench\Include\randomnumber.e) :
   IC: INTEGER is 29573
   ^
------
****** Warning: Identifier should use only lowercase letters.
Line 29 column 19 in RANDOMNUMBER (c:\shoot\bench\Include\randomnumber.e) :
	 last := (last * IA + IC) \\ IM
	                 ^
------
****** Warning: Identifier should use only lowercase letters.
Line 29 column 24 in RANDOMNUMBER (c:\shoot\bench\Include\randomnumber.e) :
	 last := (last * IA + IC) \\ IM
	                      ^
------
****** Warning: Identifier should use only lowercase letters.
Line 29 column 31 in RANDOMNUMBER (c:\shoot\bench\Include\randomnumber.e) :
	 last := (last * IA + IC) \\ IM
	                             ^
------
****** Warning: Identifier should use only lowercase letters.
Line 30 column 26 in RANDOMNUMBER (c:\shoot\bench\Include\randomnumber.e) :
	 Result := max * last / IM
	                        ^
------
****** 7 warning(s).
****** 7 warning(s).
2003-11-26.08:21:26 [BUILD] c:\elj-win32\SmallEiffel\bin\clean random
2003-11-26.08:21:26 [BUILD] del random.e
[RUN] random.se.exe 1000 -- OK
[RUN] random.se.exe 1000 -- OK
[RUN] random.se.exe 1000 -- OK
[RUN] random.se.exe 300000 -- OK
[RUN] random.se.exe 300000 -- OK
[RUN] random.se.exe 300000 -- OK
[RUN] random.se.exe 600000 -- OK
[RUN] random.se.exe 600000 -- OK
[RUN] random.se.exe 600000 -- OK
[RUN] random.se.exe 900000 -- OK
[RUN] random.se.exe 900000 -- OK
[RUN] random.se.exe 900000 -- OK