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
- Library usage:
:- use_package(unittestdecls). or :- module(...,...,[unittestdecls]). - New declarations defined:
load_test_module/1, load_test_module/2, load_test_package/1. - Imports:
- Packages:
prelude, nonpure, condcomp, assertions.
- Packages:
Documentation on new declarations
DECLARATION
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:
(streams_basic:sourcename/1)Module is a source name.
DECLARATION
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:
(streams_basic:sourcename/1)Module is a source name.
(basic_props:list/1)PredNames is a list.
DECLARATION
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:
(streams_basic:sourcename/1)Module is a source name.
Known bugs and planned improvements
- load_compilation_module, load_test_module and load_resource_module directives have similar behavior
