t27 play · the terminal's own gates
✔ the player is served over https or not at all (1136.682125ms)
✔ a backend the compiler does not emit is refused (335.69375ms)
✔ a command with no handler, or a handler with no command, is refused (1586.305208ms)
✔ a phrase the spec defines and the terminal never says, or says and the spec lacks, is refused (1471.21
15ms)
✔ a card demo too long to type inside the box, or inside X's autoplay limit, is refused (2256.254333ms)
✔ every backend has a share page whose player opens the terminal on that backend, and git keeps it (2615
.170167ms)
✔ every terminal command runs on hello_world and says only what the spec lets it say (2619.757ms)
✔ run prints the command for a machine with rustc and never a result; js is imported here (123.609208ms)
✔ t27c gen-rust is t27c gen rust; gcc, an unknown t27c subcommand and a typo each say why (622.771584ms)
✔ save asks for a download of exactly what the compiler emitted (301.890041ms)
✔ site.js is built from the site source, so a palette change there reaches the player (2299.577791ms)
✔ the spec highlighter: a /* inside a string opens no comment, and a ; line is prose (227.974375ms)
✔ hello_world: gen-verilog emits what a Verilog-2005 reader refuses, and the struct packs to 25 (599.484
ms)
✔ hello_world: the HIR backend writes an unescaped `config` port 32 bits wide for a 25-bit struct (7.999
167ms)
✔ a "/*" inside a Verilog string opens no comment, so what follows still counts (0.342959ms)
✔ a task is declared, and `function real` names its result type, not the function (13.066042ms)
✔ an array sized by a constant packs the way t27c packs it (42.499209ms)
ℹ tests 21
ℹ suites 0
ℹ pass 21
ℹ fail 0
ℹ cancelled 0
ℹ skipped 0
ℹ todo 0
ℹ duration_ms 33891.065
website $