2003-11-26.00:00:52 [BUILD] del heapsort.se.exe
Impossibile trovare C:\shoot\bench\heapsort\heapsort.se.exe
2003-11-26.00:00:52 [BUILD] copy heapsort.se heapsort.e
        1 file copiati.
2003-11-26.00:00:52 [BUILD] c:\elj-win32\SmallEiffel\bin\compile -boost -O3 -o heapsort.se.exe heapsort
****** 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.00:00:53 [BUILD] c:\elj-win32\SmallEiffel\bin\clean heapsort
2003-11-26.00:00:53 [BUILD] del heapsort.e
[RUN] heapsort.se.exe 1000 -- OK
[RUN] heapsort.se.exe 1000 -- OK
[RUN] heapsort.se.exe 1000 -- OK
[RUN] heapsort.se.exe 20000 -- OK
[RUN] heapsort.se.exe 20000 -- OK
[RUN] heapsort.se.exe 20000 -- OK
[RUN] heapsort.se.exe 40000 -- OK
[RUN] heapsort.se.exe 40000 -- OK
[RUN] heapsort.se.exe 40000 -- OK
[RUN] heapsort.se.exe 60000 -- OK
[RUN] heapsort.se.exe 60000 -- OK
[RUN] heapsort.se.exe 60000 -- OK
[RUN] heapsort.se.exe 80000 -- OK
[RUN] heapsort.se.exe 80000 -- OK
[RUN] heapsort.se.exe 80000 -- OK