The tg Command

The syntax for the tg command is

tg [options] script_file [driver_file]

In its simplest form, tg only takes one argument, the name of the script file. It reads and translates this script, writing the output to a file with the same name, but the suffix of the script (`.ts') changed to `.adb'. Example:

tg demo.ts

yields `demo.adb'.

You may provide an explicit output file name as the last argument:

tg demo.ts driver.adb

The options set the verboseness of the driver output.

-p setting

Determines how the driver reports passing test cases.
setting may be one of

off

No output.

numbers

Only test case numbers, followed by the string "pass.".
This is the default.

titles

Numbers and titles, followed by "...pass." on the next line.

full

Numbers and titles, "...pass." on the next line,
and a short explanation on the line below that.

-f setting

Same as -p, but for failing test cases.
Default is full.

Examples:

tg -p full -f full demo.ts

tg -p off demo.ts

Go to the first, previous, next, last section, table of contents.