Package verification_tests

The relax software verification tests.

For a description of verification tests, please see Wikipedia.

Submodules

• test_suite.verification_tests.library: Verification tests for the relax library.
• test_suite.verification_tests.status_object: Verification tests for the status object.

Classes

Verification_test_runner
Class for executing all of the software verification tests.

Variables

__package__ = 'test_suite.verification_tests'

Imports: search, TestSuite, RelaxError, TestLoader, Library, Status_object