Standalone test pages for each package. Each page initializes a web worker, loads the package's library, and runs functional tests.
26 packages across 6 compiler versions (4.14.2 – 5.4.0)
| Package | Tests |
|---|---|
| fmt 0.9.0 | Fmt.str, Fmt.pr stdout |
| yojson 3.0.0 | JSON to_string, from_string + Util.member |
| menhirLib 20250912 | General.length bound |
| 0install-solver 2.18 | Diagnostics.of_result bound |
| xmlm 1.4.0 | ns_xml namespace URI |
| Package | Tests |
|---|---|
| containers 3.17 | CCList.filter_map, CCString.prefix |
| re 1.14.0 | Re.execp pattern match |
| cmdliner 1.3.0 | Arg.info bound |
| logs 0.10.0 | Logs.err type |
| ptime 1.2.0 | epoch to RFC 3339 |
| uri 4.4.0 | URI host extraction |
| angstrom 0.16.1 | parse_string combinator |
| mtime 2.1.0 | Span.zero to 0L |
| digestif 1.3.0 | MD5.digest_string bound |
| num 1.6 | 100 * 200 = 20000 |
| Package | Tests |
|---|---|
| batteries 3.8.0 | BatList.filter_map, BatList.sum |
| extlib 1.7.9 | ExtList.List.unique, ExtString.starts_with |
| Package | Tests |
|---|---|
| batteries 3.7.2 | BatString.starts_with, BatString.ends_with |
| stdcompat 19 | Stdcompat.List.filter_map, Stdcompat.Option.value |
| Package | Tests |
|---|---|
| batteries 3.6.0 | num loads (batteries init hangs on 5.0) |
| grenier 0.14 | Dbseq.empty, Dbseq.cons + length |
| Package | Worker variant | Tests |
|---|---|---|
| olinq 0.3 | no critical pkgs | filter, sort, map |
| hamt 1.0.0 | no critical pkgs | add, find_exn, mem |
| vlq 0.2.1 | no critical pkgs | Base64 encode 0, 1, -1 |
| wamp 1.2 | csexp 1.5.2 | role types, hello, HELLO |
| wseg 0.3.0 | csexp + sexplib0 | buildEntries, rule1, result_of_cand |