Testing statistics

Author(s): Alvaro Sevilla San Mateo.

This module implements predicates for generating statistical summaries for the testing processes.

Usage and interface

  • Library usage:
    :- use_module(library(unittest/unittest_statistics)).
  • Exports:

Documentation on exports


Makes the statistic summary with the results of the tests. IdxTestSummaries contains a list of terms with the results of the tests.

  • The following properties should hold at call time:
    (atm/1)Tag is an atom.
    (list/1)IdxTestSummaries is a list.

Documentation on imports

This module has the following direct dependencies: