Module diagnose

This module allows the online display of test results. Beforehand the module runner needs to be used to produce the test results. The predicate diagnose_online/0 will then first present a listing of the theories and their summarized test case success and failure count. The end-user can then choose a predicate and the summarized results will be showed there. Finally the end-user can inspect an individual test case.

The following diagnose predicates are provided:

The predicate starts an online drill down of the test results.