Package test_suite :: Package verification_tests
[hide private]
[frames] | no frames]

Package verification_tests

source code

The relax software verification tests.

For a description of verification tests, please see Wikipedia.

Submodules [hide private]

Classes [hide private]
  Verification_test_runner
Class for executing all of the software verification tests.
Variables [hide private]
  __package__ = 'test_suite.verification_tests'

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