Testing statistics

Author(s): Alvaro Sevilla San Mateo.

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

Usage and interface

Documentation on exports

PREDICATE

Usage:statistical_summary(Tag,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:
    (atm/1)Tag is an atom.
    (list/1)IdxTestSummaries is a list.