d4de0e6f1e
I was über lazy at first, so took libs from SM. But actually it's quite easy to compile, so let's update to latest version \o/.
45 lines
529 B
Plaintext
45 lines
529 B
Plaintext
/-- Tests for the 32-bit library only */
|
|
|
|
< forbid 8W
|
|
|
|
/-- Check maximum character size --/
|
|
|
|
/\x{110000}/
|
|
|
|
/\x{7fffffff}/
|
|
|
|
/\x{80000000}/
|
|
|
|
/\x{ffffffff}/
|
|
|
|
/\x{100000000}/
|
|
|
|
/\o{17777777777}/
|
|
|
|
/\o{20000000000}/
|
|
|
|
/\o{37777777777}/
|
|
|
|
/\o{40000000000}/
|
|
|
|
/\x{7fffffff}\x{7fffffff}/I
|
|
|
|
/\x{80000000}\x{80000000}/I
|
|
|
|
/\x{ffffffff}\x{ffffffff}/I
|
|
|
|
/-- Non-UTF characters --/
|
|
|
|
/\C{2,3}/
|
|
\x{400000}\x{400001}\x{400002}\x{400003}
|
|
|
|
/\x{400000}\x{800000}/iDZ
|
|
|
|
/-- Check character ranges --/
|
|
|
|
/[\H]/BZSI
|
|
|
|
/[\V]/BZSI
|
|
|
|
/-- End of testinput25 --/
|