TC-Lite provides a number of Attributes, Assertions and other key features to assist you in writing and running tests.

Assertions Shows the syntax of assertions, which are used to verify proper behavior of the software under test.
Attributes Describes how TC-Lite uses attributes to identify tests and control their execution.
Constraints Lists all constraints supported by TC-Lite and the syntax elements used to invoke them in an assertion.
Parallel Test Execution Describes the planned parallel execution feature.
Theories Describes the planned Theories feature.