Loading auxiliary test-related code

This package provides declarations that can be used to load modules and packages needed for testing but which one does not want to be part of the module being tested.

Usage and interface

Documentation on new declarations

Usage::- load_test_module(Module).

Specifies an auxiliary module that must be loaded in order to execute the tests.

  • The following properties should hold at call time:
    (sourcename/1)Module is a source name.

Usage::- load_test_module(Module,PredNames).

Specifies a module and the list of predicates that must be loaded in order to execute the tests

  • The following properties should hold at call time:
    (sourcename/1)Module is a source name.
    (list/1)PredNames is a list.

Usage::- load_test_package(Module).

Specifies a package that must be used in order to execute the tests.

  • The following properties should hold at call time:
    (sourcename/1)Module is a source name.