Tests

Here is the full syntax of a tests file, in case you need it to integrate with a third-party tool:

file
preamble
namespace
use
section
test
case
input
output

Note that you can always use multi-line comments anywhere within a file.