☰

*ON THIS PAGE*# Testing statistics

**Author(s):** Alvaro Sevilla San Mateo, José Luis Bueno.## Usage and interface

## Documentation on exports

## Documentation on imports

This module has the following direct dependencies:

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

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

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

PREDICATEget_statistical_summary/2

Usage:`get_statistical_summary(IdxTestSummaries,Stats)`

Narrow the information of the tests and generate the statistical information structure needed to perform the statistical summary. IdxTestSummaries contains a list of terms with the results of tests.

PREDICATEprint_statistical_summary/1

Usage:`print_statistical_summary(Stats)`

Prints the statistical summary of the test, previously computed and given as input Stats.

PREDICATEstatistical_summary/1

Usage:`statistical_summary(IdxTestSummaries)`

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:*

(`basic_props:list/1`)IdxTestSummaries is a list.

*System library modules:*`lists`,`llists`,`format`.*Packages:*`prelude`,`initial`,`condcomp`,`assertions`,`assertions/assertions_basic`.

Generated with LPdoc using Ciao