t_id
1338
t_adddate
2004/08/28
t_result
0
t_knownrunerror
0
Record count: 50
Total = 50
OK=50 Percentage= 100.00
Result type | Cat. | Count | Percentage | First date | Last Date |
Successfully run | 50 | 100.0 | 2024/09/26 18:42:00 90 | 2024/09/26 23:02:00 44 | |
i386 | 4 | 8.0 | 2024/09/26 19:54:00 70 | 2024/09/26 22:38:00 79 | |
powerpc | 14 | 28.0 | 2024/09/26 19:41:00 35 | 2024/09/26 23:02:00 44 | |
powerpc64 | 17 | 34.0 | 2024/09/26 18:42:00 90 | 2024/09/26 22:29:00 103 | |
wasm32 | 7 | 14.0 | 2024/09/26 19:31:00 339 | 2024/09/26 22:50:00 299 | |
riscv64 | 8 | 16.0 | 2024/09/26 19:14:00 123 | 2024/09/26 19:59:00 123 | |
linux | 39 | 78.0 | 2024/09/26 18:42:00 90 | 2024/09/26 23:02:00 44 | |
go32v2 | 4 | 8.0 | 2024/09/26 19:54:00 70 | 2024/09/26 22:38:00 79 | |
wasi | 7 | 14.0 | 2024/09/26 19:31:00 339 | 2024/09/26 22:50:00 299 | |
3.3.1 | 34 | 68.0 | 2024/09/26 18:42:00 90 | 2024/09/26 22:50:00 299 | |
3.2.3 | 16 | 32.0 | 2024/09/26 21:17:00 71 | 2024/09/26 23:02:00 44 |
type integer = longint; const {** @abstract(Character encoding value: UTF-8 storage format)} CHAR_ENCODING_UTF8 = 0; {** @abstract(Character encoding value: unknown format)} CHAR_ENCODING_UNKNOWN = -1; {** @abstract(Character encoding value: UTF-32 Big endian)} CHAR_ENCODING_UTF32BE = 1; {** @abstract(Character encoding value: UTF-32 Little endian)} CHAR_ENCODING_UTF32LE = 2; {** @abstract(Character encoding value: UTF-16 Little endian)} CHAR_ENCODING_UTF16LE = 3; {** @abstract(Character encoding value: UTF-16 Big endian)} CHAR_ENCODING_UTF16BE = 4; {** @abstract(Character encoding value: One byte per character storage format)} CHAR_ENCODING_BYTE = 5; {** @abstract(Character encoding value: UTF-16 unknown endian (determined by BOM))} CHAR_ENCODING_UTF16 = 6; {** @abstract(Character encoding value: UTF-32 unknown endian (determined by BOM))} CHAR_ENCODING_UTF32 = 7; function GetCharEncoding(alias: string; var _name: string): integer; var encoding: integer; newencoding: integer; begin _name:=''; if length(alias) = 0 then Runerror(255); { FAILED! } newencoding:=CHAR_ENCODING_UTF8; encoding:=CHAR_ENCODING_BYTE; case newencoding of { currently unsupported } CHAR_ENCODING_UNKNOWN: Begin end; { verify if we are using the correct encoding } CHAR_ENCODING_UTF16: begin if (encoding <> CHAR_ENCODING_UTF16BE) and (encoding <> CHAR_ENCODING_UTF16LE) then encoding:=255; end; { verify if we are using the correct encoding } CHAR_ENCODING_UTF32: begin if (encoding <> CHAR_ENCODING_UTF32BE) and (encoding <> CHAR_ENCODING_UTF32LE) then encoding:=255; end; CHAR_ENCODING_UTF16BE, CHAR_ENCODING_UTF16LE, CHAR_ENCODING_UTF32LE, CHAR_ENCODING_UTF32BE: begin end; else begin encoding:=newencoding; end; end; if encoding <> CHAR_ENCODING_UTF8 then RunError(255); end; var _encoding: string; Begin _encoding:='UTF-8'; GetCharencoding(_encoding,_encoding); end.