2003-11-26.07:15:22 [BUILD] del objinst.se.exe 2003-11-26.07:15:22 [BUILD] copy objinst.se objinst.e 1 file copiati. 2003-11-26.07:15:22 [BUILD] c:\elj-win32\SmallEiffel\bin\compile -boost -O3 -o objinst.se.exe objinst 2003-11-26.07:15:23 [BUILD] c:\elj-win32\SmallEiffel\bin\clean objinst 2003-11-26.07:15:23 [BUILD] del objinst.e [RUN] objinst.se.exe 100000 false true false true false true true false false false true true true -- OK [RUN] objinst.se.exe 100000 false true false true false true true false false false true true true -- OK [RUN] objinst.se.exe 100000 false true false true false true true false false false true true true -- OK [RUN] objinst.se.exe 400000 false true false true false true true false false false true true true -- OK [RUN] objinst.se.exe 400000 false true false true false true true false false false true true true -- OK [RUN] objinst.se.exe 400000 false true false true false true true false false false true true true -- OK [RUN] objinst.se.exe 700000 false true false true false true true false false false true true true -- OK [RUN] objinst.se.exe 700000 false true false true false true true false false false true true true -- OK [RUN] objinst.se.exe 700000 false true false true false true true false false false true true true -- OK [RUN] objinst.se.exe 1000000 false true false true false true true false false false true true true -- OK [RUN] objinst.se.exe 1000000 false true false true false true true false false false true true true -- OK [RUN] objinst.se.exe 1000000 false true false true false true true false false false true true true -- OK