Loading auxiliary test-related code

Stability: [beta] Most of the functionality is there but it is still missing some testing and/or verification.

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

Library usage:
:- use_package(unittestdecls). or :- module(...,...,[unittestdecls]).
New declarations defined:
load_test_module/1, load_test_module/2, load_test_package/1, unittest_default_timeout/1.
Implicit imports:
- Packages:
  prelude, initial, condcomp, assertions, assertions/assertions_basic.

Documentation on new declarations

DECLARATIONload_test_module/1

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:
(stream_basic:sourcename/1)Module is a source name.

DECLARATIONload_test_module/2

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:
(stream_basic:sourcename/1)Module is a source name.
(basic_props:list/1)PredNames is a list.

DECLARATIONload_test_package/1

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:
(stream_basic:sourcename/1)Module is a source name.

DECLARATIONunittest_default_timeout/1

Usage::- unittest_default_timeout(Timeout).

Specifies a default timeout in millseconds for all the tests in the module. The value 0 means not timeout at all

The following properties should hold at call time:
(basic_props:int/1)Timeout is an integer.