2003-11-26.06:43:39 [BUILD] copy objinst.gnat objinst.adb 1 file copiati. 2003-11-26.06:43:39 [BUILD] del /Q objinst.o 2003-11-26.06:43:39 [BUILD] del /Q objinst.gnat.exe 2003-11-26.06:43:39 [BUILD] c:\GNAT\bin\gnatmake.exe -o objinst.gnat.exe -O3 -gnatp objinst gcc -c -O3 -gnatp objinst.adb gnatbind -x objinst.ali gnatlink -o objinst.gnat.exe objinst.ali 2003-11-26.06:43:41 [BUILD] del /Q objinst.adb [RUN] objinst.gnat.exe 100000 false true false true false true true false false false true true true -- OK [RUN] objinst.gnat.exe 100000 false true false true false true true false false false true true true -- OK [RUN] objinst.gnat.exe 100000 false true false true false true true false false false true true true -- OK [RUN] objinst.gnat.exe 400000 false true false true false true true false false false true true true -- OK [RUN] objinst.gnat.exe 400000 false true false true false true true false false false true true true -- OK [RUN] objinst.gnat.exe 400000 false true false true false true true false false false true true true -- OK [RUN] objinst.gnat.exe 700000 false true false true false true true false false false true true true -- OK [RUN] objinst.gnat.exe 700000 false true false true false true true false false false true true true -- OK [RUN] objinst.gnat.exe 700000 false true false true false true true false false false true true true -- OK [RUN] objinst.gnat.exe 1000000 false true false true false true true false false false true true true -- OK [RUN] objinst.gnat.exe 1000000 false true false true false true true false false false true true true -- OK [RUN] objinst.gnat.exe 1000000 false true false true false true true false false false true true true -- OK