syntax

Idle. Press Run to start the suite.

• ./array_statements.proof.f.mjs
• ./constructors.proof.f.mjs
• ./do_while.proof.f.mjs
• ./for_of.proof.f.mjs
• ./function_bodies.proof.f.mjs
• ./normal_if.proof.f.mjs
• ./numeric-keys.proof.f.mjs
• ./proof.f.mjs
• ./source_shapes.proof.f.mjs
• ./uninitialized-let.proof.f.mjs